คำถามติดแท็ก check-my-proof

ฉันใหม่กับฟอรัมนี้และเป็นเพียงนักฟิสิกส์ที่ทำสิ่งนี้เพื่อให้สมองของเขาอยู่ในรูปร่างดังนั้นโปรดแสดงความสง่างามถ้าฉันไม่ได้ใช้ภาษาที่งดงามที่สุด นอกจากนี้โปรดแสดงความคิดเห็นหากคุณคิดว่าแท็กอื่น ๆ จะเหมาะสมกว่า ฉันกำลังพยายามที่จะแก้ปัญหานี้ซึ่งผมต้องคำนวณจำนวนมิลรอบในวันเพื่อ Sierpinski กราฟS_n(โปรดดูลิงค์ด้านบนสำหรับคำจำกัดความและรูปภาพของ Sierpinski-graphs)n S nC(n)C(n)C(n)nnnSnSnS_n ฉันได้พบแต่ฉันจะต้องมีบางสิ่งบางอย่าง messed ขึ้นเพราะวิธีการแก้ปัญหาของฉันไม่ตรงกับค่าที่กำหนด71328803586048 การถกเถียงของฉันประกอบด้วยความคิดพื้นฐานมากและฉันไม่สามารถหาข้อผิดพลาดได้ ความช่วยเหลือใด ๆ ที่ชื่นชมอย่างมาก แม้ว่ามันจะดูยาว แต่ความคิดก็ไม่สำคัญถ้าคุณดูกราฟในขณะที่ติดตามC ( 5 ) = 71328803586048C(n)C(n)C(n)C(5)=71328803586048C(5)=71328803586048C(5) = 71328803586048 (ก)ในกราฟให้เรียกมุมด้านนอก C จากนั้นฉันจะกำหนดปริมาณต่อไปนี้: A , B , CSnSnS_nA,B,CA,B,CA,B,C N(n):=N(n):=N(n) := จำนวนเส้นทางแฮมิลตันจากเพื่อCCAAACCC N¯(n):=N¯(n):=\bar{N}(n) := จำนวนเส้นทางจากเพื่อซึ่งแต่ละโหนดเยี่ยมชมครั้งเดียวยกเว้นBC BAAACCCBBB ฉันจะเรียกพา ธ ดังกล่าว - หรือ - พา ธ ประเภทต่อไปนี้ˉ …

18 graph-theory  combinatorics  check-my-proof 

ฉันมี "การพิสูจน์" ที่ง่ายมากสำหรับ NP = CoNP และฉันคิดว่าฉันทำอะไรผิดที่ แต่ฉันไม่สามารถหาสิ่งที่ผิดได้ มีคนช่วยฉันได้ไหม ให้ A เป็นปัญหาบางอย่างใน NP และให้ M เป็นตัวตัดสินใจสำหรับ A. ให้ B เป็นส่วนประกอบเช่น B อยู่ใน CoNP เนื่องจาก M เป็นตัวตัดสินใจคุณสามารถใช้มันเพื่อตัดสินใจ B เช่นกัน (เพียงแค่พลิกคำตอบ) นั่นไม่ได้หมายความว่าเราจะแก้ปัญหาทั้งปัญหา NP และ CoNP ด้วย M เดียวกันหรือไม่? ที่จะทำให้มันดูเป็นรูปธรรมมากขึ้น ให้ A เป็นปัญหาที่สมบูรณ์แบบของ NP และให้ M เป็นตัวตัดสินใจสำหรับ A. พิจารณาปัญหา B ใด ๆ ใน …

12 complexity-theory  p-vs-np  check-my-proof  np 

คำที่เกี่ยวข้อง: Karp Reduction ภาษาคือคาร์ปเบลดไปเป็นภาษาBหากมีฟังก์ชันคำนวณเวลาแบบพหุนามf : { 0 , 1 } ∗ → { 0 , 1 } ∗เช่นนั้นสำหรับทุก ๆx , x ∈ Aถ้าและถ้าf ( x ) ∈ BAAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B คำที่เกี่ยวข้อง: เลวิน - ลด ปัญหาการค้นหาคือเลวินลดปัญหาการค้นหาV Bถ้ามีฟังก์ชันเวลาพหุนามfที่ Karp ลดL ( V A )เป็นL ( V B )และมีฟังก์ชันคำนวณเวลาแบบพหุนามแบบgและhเช่นนั้นVAVAV_AVBVBV_BfffL(VA)L(VA)L(V_A)L(VB)L(VB)L(V_B)ggghhh ,⟨x,y⟩∈VA⟹⟨f(x),g(x,y)⟩∈VB⟨x,y⟩∈VA⟹⟨f(x),g(x,y)⟩∈VB\langle x, y \rangle …

12 complexity-theory  reductions  check-my-proof 

คำถามสอบล่าสุดมีดังนี้: เป็นเซตจำนวนอนันต์ที่ไม่สิ้นสุดซ้ำ พิสูจน์ว่า Aมีเซตย่อยแบบวนซ้ำแบบไม่สิ้นสุดAAAAAA ให้เป็นเซต recursive อนันต์ของ Cต้องมีเซตย่อยที่ไม่สามารถนับซ้ำได้หรือไม่?คคCAAAคคC ฉันตอบ 1. แล้ว เกี่ยวกับ 2. ฉันตอบโดยยืนยันและโต้แย้งดังนี้ สมมติว่าเซตย่อยทั้งหมดของมีจำนวนซ้ำซ้ำ เนื่องจากCไม่มีที่สิ้นสุดชุดพลังงานของCจึงนับไม่ได้ดังนั้นโดยการสันนิษฐานว่าจะมีชุดนับซ้ำจำนวนมากมาย แต่ชุดนับซ้ำที่ซ้ำกันอยู่ในการติดต่อแบบหนึ่งต่อหนึ่งกับเครื่องทัวริงที่รับรู้พวกเขาและเครื่องทัวริงนับได้ ความขัดแย้ง. ดังนั้นCจะต้องมีเซตย่อยที่ไม่สามารถระบุซ้ำได้คคCคคCคคCคคC ถูกต้องหรือไม่

11 computability  check-my-proof