คำถามติดแท็ก enumeration

เราเรียนรู้เกี่ยวกับแนวคิดของฟังก์ชั่นการแจกแจง ในทางปฏิบัติมันสอดคล้องกับภาษาการเขียนโปรแกรม ในคำพูดที่ผ่านอาจารย์กล่าวว่าชั้นเรียนของฟังก์ชั่นทั้งหมด (เช่นฟังก์ชั่นที่มักจะจบลงสำหรับการป้อนข้อมูลทุกครั้ง) จะไม่นับ นั่นหมายความว่าเราไม่สามารถประดิษฐ์ภาษาการเขียนโปรแกรมที่ช่วยให้เราสามารถเขียนฟังก์ชั่นทั้งหมด แต่ไม่มีคนอื่น --- ซึ่งน่าจะมี! แล้วเราจะต้องยอมรับศักยภาพของการไม่เลิกจ้างอย่างไรถ้าเราต้องการพลังการคำนวณที่เหมาะสม?

29 computability  semi-decidability  enumeration 

ฉันอ่านคำถามที่ Stack Overflow ถามว่ามันเป็นNP -hard หรือไม่ที่จะเขียนรายการวงจรที่เรียบง่ายทั้งหมดในกราฟที่มีโหนดหนึ่งและมันเกิดขึ้นกับฉันว่าฉันไม่สามารถนึกถึงความซับซ้อนที่มีอยู่ในปัจจุบันที่เหมาะสำหรับ พูดคุยเกี่ยวกับปัญหาของแบบฟอร์ม "แสดงวิธีแก้ไขปัญหาทั้งหมด" คลาสNPในแง่หนึ่งประกอบด้วยปัญหาที่ถามว่ามีวิธีแก้ปัญหาอย่างน้อยหนึ่งรายการหรือไม่คลาสFNPขอให้สร้างโซลูชันเดียวและคลาส# Pขอให้นับจำนวนวิธีแก้ปัญหาที่มี แต่ยังไม่มีการจัดการที่ซับซ้อนเหล่านี้ ของการแจกแจงโซลูชันที่เป็นไปได้ทั้งหมดอย่างละเอียดถี่ถ้วน มีคลาสที่ซับซ้อนสำหรับการอธิบายปัญหาที่อยู่ในรูปแบบ "กำหนดพหุนามคำนวณเวลาและสตริงx , แจกแจงทั้งหมดyที่P ( x , y )เป็นเรื่องจริง [แทรกบางอย่าง ข้อ จำกัด ด้านความซับซ้อนที่เหมาะสม]? " ฉันเข้าใจว่าอาจเป็นเรื่องยากที่จะกำหนดข้อ จำกัด เนื่องจากจำนวนโซลูชันอาจมีขนาดใหญ่กว่าขนาดของอินพุทxแทนแบบเลขชี้กำลังแม้ว่ามันจะดูไม่ผ่านไม่ได้P(x,y)P(x,y)P(x, y)xxxyyyP(x,y)P(x,y)P(x, y)xxx

15 complexity-theory  reference-request  complexity-classes  enumeration 

ปัญหานี้สำหรับฉันดูน่าสนใจมาก มันกำลังจะหาวัฏจักรธรรมดา (เช่นวัฏจักรที่ไม่ใช่โหนดซ้ำ) ในกราฟกำกับ วิธีแก้ปัญหาของฉันเป็นเช่นนี้คือกราฟนี้เป็นปัญหากรณี: ฉันรู้ว่ามีวงรอบในกราฟเมื่อคุณสามารถหา "ขอบหลัง" ในการค้นหาครั้งแรกที่ลึก (ประในรูปภาพของฉันใน DFSTree) และในช่วงเวลาหนึ่งฉันสามารถแน่ใจได้ว่าสักสองสามรอบ แต่ไม่ใช่สำหรับ ทุกรอบง่ายๆ เพราะ egdes ที่กำกับนั้นสำคัญมากที่มาจากวัฏจักรคือ (0123)! = (0321) ฉันกำลังคิดทำ dfs สำหรับแต่ละโหนดด้วยขอบด้านหลัง แต่ฉันไม่แน่ใจและมันไม่ชัดเจน ดังนั้นฉันถามคุณถ้าคุณแนะนำฉัน ขอบคุณ !. นี่คือการนับลูปง่าย ๆ สำหรับปัญหากรณีของฉัน

15 algorithms  graphs  enumeration 

มีคำถามที่ Stack Overflow ( ที่นี่ ): ได้รับจำนวนเต็ม , พิมพ์ออกมารวมกันเป็นไปได้ทั้งหมดของค่าจำนวนเต็มของและซึ่งการแก้สมการNA , B , C D A 2 + B 2 + C 2 + D 2 = Nยังไม่มีข้อความNNA , B , CA,B,CA,B,CDDDA2+ B2+ C2+ D2= NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N คำถามนี้แน่นอนว่าเกี่ยวข้องกับทฤษฎีการคาดเดาของ Bachetในทฤษฎีจำนวน (บางครั้งเรียกว่าทฤษฎีบท Four Square ของ Lagrange เพราะหลักฐานของเขา) มีเอกสารบางฉบับที่พูดถึงวิธีการหาทางออกเดียว แต่ฉันไม่สามารถหาอะไรที่พูดถึงความเร็วที่เราสามารถหาวิธีแก้ปัญหาทั้งหมดสำหรับเฉพาะเจาะจง(นั่นคือการรวมกันทั้งหมดไม่ใช่การเปลี่ยนลำดับทั้งหมด)ยังไม่มีข้อความNN ฉันคิดอยู่นิดหน่อยและดูเหมือนว่าฉันสามารถแก้ไขได้ในเวลาและสถานที่โดยที่คือผลรวมที่ต้องการ อย่างไรก็ตามหากขาดข้อมูลก่อนหน้านี้ในเรื่องนี้ฉันไม่แน่ใจว่านี่เป็นข้อเรียกร้องที่มีนัยสำคัญในส่วนของฉันหรือเพียงแค่ผลลัพธ์เล็กน้อยที่เห็นได้ชัดหรือเป็นที่รู้จักแล้วNO ( …

12 complexity-theory  time-complexity  number-theory  enumeration 

เนื่องจากข้อเท็จจริงที่ว่าการแจกแจงเส้นทาง - tเป็นปัญหา # P-complete จะมีวิธีที่มีประสิทธิภาพที่คำนวณ (หรืออย่างน้อยประมาณ) ความยาวเฉลี่ยของเส้นทางs - tโดยไม่ต้องแจกแจงได้หรือไม่ ถ้าเส้นทางได้รับอนุญาตให้กลับไปที่จุดยอดsssเสื้อเสื้อtsssเสื้อเสื้อt ผลลัพธ์ที่เกี่ยวข้องในกราฟพิเศษอาจมีประโยชน์เช่นกัน

11 algorithms  complexity-theory  graphs  approximation  enumeration 

ทำไมตัวเลขที่คำนวณได้ (ในความหมายของทัวริง) นับได้? มันต้องชัดเจนมาก แต่ตอนนี้ฉันไม่เห็นมัน

9 computability  turing-machines  enumeration