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

11
ความเชื่อผิด ๆ ทั่วไปทางวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี
แก้ไข AT 10/12/08: ฉันจะพยายามแก้ไขคำถามเพื่อให้ผู้คนสนใจแบ่งปันความคิดเห็นมากขึ้น เราต้องการความช่วยเหลือของคุณ! โพสต์นี้เป็นแรงบันดาลใจโดยหนึ่งในโม: ตัวอย่างของความเชื่อผิด ๆ ที่พบบ่อยในวิชาคณิตศาสตร์ รายการใหญ่ ๆ บางครั้งสร้างคำตอบจำนวนมากซึ่งเป็นคุณสมบัติที่ควบคุมได้ยาก แต่หลังจากความสำเร็จของการโพสต์ที่เกี่ยวข้องใน MO ฉันเชื่อว่ามันจะเป็นประโยชน์ในการแสดงรายการความเชื่อที่ผิด ๆ ทั่วไปใน TCS ถึงกระนั้นเนื่องจากเว็บไซต์ถูกออกแบบมาเพื่อตอบคำถามระดับการวิจัยตัวอย่างเช่นหมายถึงเวลาที่ไม่ใช่พหุนามไม่ควรอยู่ในรายการ ในขณะเดียวกันเราต้องการตัวอย่างที่อาจไม่ยาก แต่หากไม่มีรายละเอียดก็ดูสมเหตุสมผลเช่นกัน เราต้องการให้ตัวอย่างเป็นทางการศึกษาและมักจะปรากฏขึ้นเมื่อเรียนวิชานี้ในครั้งแรกNPNP\mathsf{NP} ตัวอย่างของความเชื่อที่ผิด ๆ ทั่วไปในวิชาวิทยาการคอมพิวเตอร์เชิงทฤษฎีมีอะไรบ้างที่ปรากฏแก่ผู้ที่กำลังศึกษาอยู่ในพื้นที่นี้ จะแม่นยำเราต้องการตัวอย่างแตกต่างจากผลที่น่าแปลกใจและผล counterintuitiveใน TCS; ผลลัพธ์ประเภทนี้ทำให้ผู้คนยากที่จะเชื่อ แต่เป็นจริง ที่นี่เรากำลังขอตัวอย่างที่น่าแปลกใจที่ผู้คนอาจคิดว่ามันเป็นความจริงในแวบแรก แต่หลังจากที่คิดลึกลงไปว่ามีความผิดเกิดขึ้นภายใน เป็นตัวอย่างของคำตอบที่ถูกต้องในรายการสิ่งนี้มาจากเขตข้อมูลของอัลกอริธึมและทฤษฎีกราฟ: สำหรับ -node กราฟเป็น -edge คั่นเป็นส่วนหนึ่งของขอบของขนาดที่โหนดของสามารถพาร์ทิชันออกเป็นสองส่วนที่ไม่ใช่ที่อยู่ติดกันแต่ละประกอบด้วยที่มากที่สุดโหนด . เรามี "บทแทรก" ดังต่อไปนี้:G k S k G ∖ S 3 n …

14
คอมพิวเตอร์ช่วยพิสูจน์ทฤษฎีบทได้ที่ไหนและอย่างไร
วัตถุประสงค์ของคำถามนี้คือการรวบรวมตัวอย่างจากวิทยาการคอมพิวเตอร์เชิงทฤษฎีที่การใช้คอมพิวเตอร์อย่างเป็นระบบมีประโยชน์ ในการสร้างการคาดเดาที่นำไปสู่ทฤษฎีบท การปลอมแปลงการคาดเดาหรือวิธีการพิสูจน์ การสร้าง / ตรวจสอบ (ส่วนของ) การพิสูจน์ หากคุณมีตัวอย่างที่เฉพาะเจาะจงโปรดอธิบายวิธีการทำ บางทีสิ่งนี้จะช่วยให้ผู้อื่นใช้คอมพิวเตอร์ได้อย่างมีประสิทธิภาพมากขึ้นในการวิจัยประจำวันของพวกเขา (ถูกตั้งค่าสถานะเป็นวิกิชุมชนเนื่องจากไม่มีคำตอบ "ถูกต้อง" เดียว)

2
เพิ่มประสิทธิภาพง่าย แต่ประเมินยาก
มีตัวอย่างตามธรรมชาติที่ทราบของปัญหาการปรับให้เหมาะสมซึ่งง่ายต่อการสร้างโซลูชันที่ดีที่สุดมากกว่าการประเมินคุณภาพของโซลูชันที่ให้มาหรือไม่? เพื่อความเป็นรูปธรรมเราอาจพิจารณาพหุนามเวลาแก้ปัญหาการเพิ่มประสิทธิภาพของรูปแบบ: "ให้ x ลด " ที่คือพูด # P-hard ปัญหาดังกล่าวมีอยู่อย่างชัดเจน (ตัวอย่างเช่นเราอาจมีสำหรับทั้งหมดแม้ว่าไม่สามารถคำนวณได้) แต่ฉันกำลังมองหาปัญหา `` ธรรมชาติ '' ที่แสดงปรากฏการณ์นี้f : { 0 , 1 } ∗ × { 0 , 1 } ∗ → N f ( x , 0 ) = 0 x fฉ( x , y)f(x,y)f(x, y)ฉ: { 0 , 1 …

1
การคาดเดา Hartmanis-Stearns และตัวเลขยอดเยี่ยมที่คำนวณได้
ในปี 1965 บทความ " ในความซับซ้อนของการคำนวณของอัลกอริธึม " โดย Hartmanis และ Stearns ผู้เขียนคาดการณ์ว่าหากทัวริงเครื่องในเวลาจริงคำนวณจำนวนจริงในเช่นฐาน 10 แล้วคือจำนวนตรรกยะหรือ หมายเลขอดิศัยrrrrrrr มีตัวเลขยอดเยี่ยมที่คำนวณได้ซึ่งไม่คำนวณโดยเครื่องทัวริงตามเวลาจริงเช่นฐาน 10 หรือไม่

5
ตัวอย่างขนาดตัวอักษร (
ปล่อย ΣΣ\Sigmaเป็นตัวอักษรเช่นชุดที่ไม่มีข้อ จำกัด สตริงเป็นลำดับที่แน่นอนขององค์ประกอบ (ตัวอักษร) จากΣΣ\Sigma. ตัวอย่างเช่น,{0,1}{0,1} \{0, 1\} เป็นตัวอักษรไบนารีและ 011001100110 เป็นสตริงสำหรับตัวอักษรนี้ โดยปกติตราบใดที่ ΣΣ\Sigma มีองค์ประกอบมากกว่า 1 รายการจำนวนองค์ประกอบที่แน่นอนใน ΣΣ\Sigmaไม่สำคัญ: ที่ดีที่สุดเราจบลงด้วยค่าคงที่ที่แตกต่างกันที่ไหนสักแห่ง มันไม่สำคัญว่าถ้าเราใช้ตัวอักษรไบนารีตัวเลขตัวอักษรละตินหรือ Unicode มีตัวอย่างของสถานการณ์ที่สำคัญขนาดตัวอักษรหรือไม่? เหตุผลที่ฉันสนใจสิ่งนี้เพราะฉันบังเอิญเจอตัวอย่างเช่น: สำหรับตัวอักษรใด ๆ ΣΣ\Sigma เรากำหนด oracle แบบสุ่ม OΣOΣO_{\Sigma} เป็น oracle ที่ส่งคืนองค์ประกอบแบบสุ่มจาก ΣΣ\Sigmaเช่นว่าทุกองค์ประกอบมีโอกาสเท่ากันในการส่งคืน (ดังนั้นโอกาสสำหรับทุกองค์ประกอบคือ 1|Σ|1|Σ|\frac{1}{|\Sigma|}) สำหรับตัวอักษรบางตัว Σ1Σ1\Sigma_1 และ Σ2Σ2\Sigma_2 - อาจมีขนาดแตกต่างกัน - พิจารณาคลาสของ oracle machine ที่สามารถเข้าถึงได้ OΣ1OΣ1O_{\Sigma_1}. เราสนใจเครื่องจักร oracle …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.