วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี

คำถาม & คำตอบสำหรับนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีและนักวิจัยในสาขาที่เกี่ยวข้อง

3
ปัญหาการแยกตัวประกอบจำนวนเต็มนั้นยากกว่าการแยกตัวประกอบ RSA:หรือไม่?
นี่คือ cross-post จากmath.stackexchange ให้ความจริงแสดงถึงปัญหาแฟคตอริ่งจำนวนเต็ม: กำหนดหาค่าเฉพาะและจำนวนเต็มเช่นนั้นn∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. ให้ RSA แทนกรณีพิเศษของปัญหาแฟคตอริ่งโดยที่และเป็นช่วงเวลา นั่นคือให้ค้นหาช่วงเวลาหรือ NONE หากไม่มีการแยกตัวประกอบn=pqn=pqn = pqp,qp,qp,qnnnp,qp,qp,q เห็นได้ชัดว่า RSA เป็นตัวอย่างของ FACT FACT นั้นยากกว่า RSA หรือไม่ เมื่อใช้ oracle ที่แก้ RSA ในเวลาพหุนามสามารถใช้เพื่อแก้ปัญหา FACT ในเวลาพหุนามได้หรือไม่? (ตัวชี้ไปที่วรรณกรรมชื่นชมมาก) แก้ไข 1: เพิ่มข้อ จำกัด เกี่ยวกับพลังการคำนวณให้เป็นเวลาพหุนาม แก้ไข 2: ตามที่ระบุไว้ในคำตอบโดย Dan Brumleveว่ามีเอกสารที่โต้แย้งและต่อต้าน RSA ที่ยากขึ้น …

2
จำเป็นต้องใช้สีที่แตกต่างจำนวนเท่าใดในการเลือกกราฟให้ต่ำลง?
กราฟเป็น -choosable (เรียกอีกอย่างว่า -list-colorable ) ถ้าสำหรับทุกฟังก์ชั่นที่แมปจุดยอดไปยังชุดของสีมีการกำหนดสีเช่นนั้นสำหรับทุกจุด ,และเช่นว่าสำหรับขอบทั้งหมด ,(w)kkkkkkfffkkkcccvvvc(v)∈f(v)c(v)∈f(v)c(v)\in f(v)vwvwvwc(v)≠c(w)c(v)≠c(w)c(v)\ne c(w) ทีนี้สมมติว่ากราฟไม่ใช่ -choosable นั่นคือมีอยู่ฟังก์ชั่นจากจุดที่จะ -tuples ของสีที่ไม่ได้มีการกำหนดที่ถูกต้องสีคสิ่งที่ฉันอยากรู้คือต้องการสีทั้งหมดกี่สี? มีขนาดเล็กแค่ไหน? มีจำนวน (อิสระจาก ) เช่นที่เราสามารถรับประกันว่าจะได้พบกับ uncolorableว่าเพียงใช้สีที่แตกต่างกัน?GGGkkkfffkkkccc∪v∈Gf(v)∪v∈Gf(v)\cup_{v\in G}f(v)N(k)N(k)N(k)GGGfffN(k)N(k)N(k) ความเกี่ยวข้องกับ CS คือถ้ามีอยู่เราสามารถทดสอบ -choosability สำหรับค่าคงที่ในช่วงเวลาเอกซ์โปเนนเชียล (เพียงลอง\ binom {N (k)} {k} ^ nตัวเลือกfและ สำหรับการตรวจสอบแต่ละครั้งว่าสามารถใช้สีได้ในเวลาk ^ nn ^ {O (1)} ) ในขณะที่อาจจำเป็นต้องใช้บางสิ่งบางอย่างที่เติบโตอย่างรวดเร็วเช่นn ^ {kn}N(k)N(k)N(k)kkkkkk(N(k)k)n(N(k)k)n\binom{N(k)}{k}^nfffknnO(1)knnO(1)k^n n^{O(1)}nknnknn^{kn}

3
ทำไม mod_m ประตูจึงน่าสนใจ
Ryan Williams เพิ่งโพสต์ขอบเขตล่างของเขาใน ACCชั้นเรียนของปัญหาที่มีวงจรความลึกคงที่โดยมี fan-in และประตูมากมายและ AND, OR, NOT และ MOD_m สำหรับ m ที่เป็นไปได้ทั้งหมด มีอะไรพิเศษเกี่ยวกับประตู MOD_m พวกเขาอนุญาตให้หนึ่งในการจำลองเลขคณิตมากกว่าแหวน Z_m ใด ๆ ก่อนผลลัพธ์ของ Ryan การขว้างประตู MOD_m ไปยังส่วนผสมให้ชั้นหนึ่งที่ขอบเขตล่างที่รู้จักไม่ทำงาน มีเหตุผลตามธรรมชาติอื่น ๆ หรือไม่ที่จะศึกษาประตู MOD_m?


13
การใช้รหัสแก้ไขข้อผิดพลาดในทางทฤษฎี
แอปพลิเคชันของรหัสแก้ไขข้อผิดพลาดในทางทฤษฎีมีอะไรบ้างนอกเหนือจากการแก้ไขข้อผิดพลาดเอง? ฉันตระหนักถึงสามแอปพลิเคชัน: ทฤษฎีบท Goldreich-Levinเกี่ยวกับฮาร์ดคอร์บิต, การสร้างเครื่องสกัดและการขยายความแข็งของฟังก์ชันบูลีนของ Trevisan (โดย Sudan-Trevisan-Vadhan) แอปพลิเคชัน 'ร้ายแรง' หรือ 'สันทนาการ' อื่น ๆ ของรหัสแก้ไขข้อผิดพลาดคืออะไร? UPD: แอปพลิเคชั่นหนึ่งที่น่าขบขันในการถอดรหัสรายการรหัส Reed-Solomon เป็นวิธีแก้ปัญหาสำหรับรูปแบบเฉพาะของเกมคำถาม 20 ข้อ (และอีกรูปแบบหนึ่งที่ตรงไปตรงมามากขึ้นการเปลี่ยนแปลง)

7
เครื่องกำเนิดจำนวนสุ่มอย่างแท้จริง: ทัวริงคำนวณได้?
ฉันกำลังหาคำตอบที่ชัดเจนว่าการสร้างหมายเลข "สุ่มอย่างแท้จริง" หรือไม่นั้นเป็นการคำนวณของทัวริง ฉันไม่รู้วิธีวลีนี้อย่างแม่นยำ คำถาม StackExchange นี้เกี่ยวกับ "อัลกอริธึมที่มีประสิทธิภาพสำหรับการสร้างเลขสุ่ม" มาใกล้เคียงกับการตอบคำถามของฉัน ชาร์ลส์สจ๊วตกล่าวในคำตอบของเขาว่า "มันไม่สามารถสร้างโดย [Martin-Löf randomness] ด้วยเครื่องจักร" Ross Snider กล่าวว่า "กระบวนการใด ๆ ที่กำหนดขึ้นมา (เช่นเครื่องทัวริง / เครื่องลงทะเบียน) ไม่สามารถสร้างตัวเลขสุ่ม 'ปรัชญา' หรือ 'จริง' ได้" มีความคิดที่ชัดเจนและเป็นที่ยอมรับในสิ่งที่ถือเป็นเครื่องกำเนิดตัวเลขแบบสุ่มอย่างแท้จริงหรือไม่? และถ้าเป็นเช่นนั้นเป็นที่ทราบกันหรือไม่ว่า Turing Machine นั้นไม่สามารถคำนวณได้? บางทีการชี้ให้ฉันไปที่วรรณคดีที่เกี่ยวข้องจะพอเพียง ขอบคุณสำหรับความช่วยเหลือใด ๆ ที่คุณสามารถให้ได้! แก้ไข ขอบคุณ Ian และ Aaron สำหรับคำตอบที่มีความรู้! ฉันค่อนข้างไม่ได้เรียนหนังสือในพื้นที่นี้และฉันรู้สึกขอบคุณสำหรับความช่วยเหลือ ถ้าฉันอาจขยายคำถามเล็กน้อยในภาคผนวกนี้: เป็นกรณีที่ TM ที่เข้าถึงแหล่งที่มาของการสุ่ม (oracle?) สามารถคำนวณฟังก์ชั่นที่ …

4
ผู้เขียนเอกสารเดี่ยวกับความตั้งใจของที่ปรึกษาของฉัน?
ฉันเป็นนักศึกษาปริญญาเอกชั้นปีที่สามในสาขา CS เชิงทฤษฎีซึ่งต้องการคำแนะนำสำหรับสถานการณ์ที่ยากลำบากกับที่ปรึกษาของฉัน ที่ปรึกษาของฉันไม่ได้เกี่ยวข้องกับโครงการวิจัยเลย โดยเฉพาะอย่างยิ่งฉันคิดไอเดียเกี่ยวกับกระดาษทั้งหมดของฉันขึ้นมา อย่างไรก็ตามเธอยืนยันเสมอในการเพิ่มชื่อของเธอเป็นผู้เขียนร่วม สิ่งนี้เริ่มรบกวนฉันมากขึ้นเนื่องจากฉันทำงานหนักมาก (คนเดียว) ในการวิจัยของฉันและเชื่อว่าฉันควรได้รับเครดิตสำหรับสิ่งนั้น นอกจากนี้เธอเป็นคนพาลและปฏิบัติต่อฉันค่อนข้างแย่ดังนั้นมันจึงยากสำหรับฉันที่จะได้รับประโยชน์จากเธอในลักษณะนี้ สำหรับบทความล่าสุดของฉันฉันได้อธิบายถึงวิธีที่ฉันไม่เชื่อว่าเธอได้ทำตามหลักเกณฑ์IEEE 1หรือ ACM 2สำหรับการประพันธ์และบอกเธอว่าฉันเชื่อว่าฉันควรเป็นนักเขียนเพียงคนเดียวบนกระดาษของฉัน เธอตกลงว่าเธอไม่ควรเป็นนักเขียนแม้ว่าเธอจะโกรธอย่างเห็นได้ชัด เธอบอกว่าฉันเป็น "คนประหลาด" ในการทำสิ่งนี้และบอกว่าทุกคนรู้แล้วว่าอาจารย์ที่ปรึกษาใช้เครดิตสำหรับงานของนักเรียนและการเผยแพร่กับที่ปรึกษาของคุณนั้นเหมือนกับการเผยแพร่เพียงอย่างเดียว แต่ที่สำคัญที่สุดเธอบอกฉันว่าเธอจะไม่อนุมัติข้อเสนอ / วิทยานิพนธ์ของฉันถ้าฉันไม่ได้เพิ่มชื่อของเธอลงในเอกสารระดับสูงอีกหลายเล่มเพราะฉันจะ "ไม่มีความผูกพันกับมหาวิทยาลัย" เพราะฉันไม่ได้ทำงานกับอาจารย์ ดังนั้นจึงไม่สามารถรับปริญญาเอกของฉันได้ เห็นได้ชัดว่าฉันต้องการที่ปรึกษาใหม่ อย่างไรก็ตามไม่มีแผนกใดในแผนกวิจัยของฉัน การสลับพื้นที่การวิจัยหรือแผนกไม่ใช่ตัวเลือก ดังนั้นตัวเลือกที่เหลือมีดังต่อไปนี้: (1) เพิ่มชื่อของเธอลงในเอกสารอีกหลายฉบับ ฉันไม่ชอบความคิดนี้เพราะมันผิดจรรยาบรรณและไม่มีการรับประกันว่าจะได้รับสิ่งใดแม้แต่ตัวเลือกนี้ เธอสามารถปฏิเสธที่จะแนะนำฉันในที่สุดหลังจากที่ฉันได้รับเอกสารมากมายจากเธอ (2) ละเว้นการคุกคามของเธอและบังคับให้ฉันสำเร็จการศึกษาระดับปริญญาเอกของฉันในขณะที่ตีพิมพ์เอกสารผู้แต่งคนเดียว ฉันไม่เชื่อว่าเธอจะหยุดฉันจากการสำเร็จการศึกษาเนื่องจากฉันมีผลงานตีพิมพ์ที่ดีอยู่แล้วและคงจะทำงานต่อไปได้ ฉันมีสามัคคีธรรมดังนั้นเธอจึงไม่สามารถควบคุมเงินทุนของฉันได้ เห็นได้ชัดว่าฉันจะไม่มีจดหมายรับรองในกรณีนี้ ในทางกลับกันฉันจะมีเอกสารผู้เขียนจำนวนมาก (3) พยายามโน้มน้าวอาจารย์ในสาขาการวิจัยที่ไม่เกี่ยวข้องให้เป็นที่ปรึกษาของฉันโดยเน้นว่าฉันเป็นอิสระและสามารถทำงานคนเดียวได้ มีอาจารย์ทฤษฎีไม่กี่คนในแผนกของฉันแม้ว่าพวกเขาจะเป็นพื้นที่ที่แตกต่างกันโดยสิ้นเชิง ฉันไม่รู้ว่าโอกาสที่จะได้ผล (4) ไปที่เก้าอี้แผนกและเล่าเรื่องทั้งหมดให้เขาฟังถามว่าจะทำอย่างไร คุณคิดว่าฉันควรทำอย่างไร?

1
วิชาบังคับก่อนสำหรับการเรียนรู้ GCT
ดูเหมือนว่าทฤษฎีความซับซ้อนเชิงเรขาคณิตต้องการความรู้มากมายเกี่ยวกับคณิตศาสตร์บริสุทธิ์เช่นเรขาคณิตเชิงพีชคณิตทฤษฎีการเป็นตัวแทน ในขณะที่ฉันเป็นนักเรียน CS และไม่มีคลาสของคณิตศาสตร์ที่เป็นนามธรรมและบริสุทธิ์มากฉันสนใจโปรแกรมนี้ มีรายการของ "ความรู้ขั้นต่ำ" สำหรับการเรียนรู้ทฤษฎีนี้หรือไม่? รายการนี้รวมถึงบันทึกการบรรยายของฝ่าย CS หรือคณิตศาสตร์การสำรวจวารสารหรือการประชุมใด ๆ และหนังสือตำราคณิตศาสตร์บริสุทธิ์ [ แก้ไข: เพิ่มในภายหลัง ] ขอบคุณสำหรับความคิดเห็นของคุณ ทฤษฎีทั่วไปของการคำนวณ: ฉันอ่านหนังสือของ Sipser ที่มีชื่อ "รู้เบื้องต้นเกี่ยวกับทฤษฎีการคำนวณ" ทฤษฎีความซับซ้อน: โดยเฉพาะฉันสนใจในแบบจำลองคอนกรีตเพื่อลดความซับซ้อนลง ดังนั้นฉันอ่านส่วนของ "ขอบเขตล่างที่เป็นรูปธรรม" ในหนังสือเรียนของ Arora-Barak ฉันยังมีความรู้พื้นฐานในหนังสือหลายเล่มของหนังสือความซับซ้อนในการสื่อสารที่เขียนโดยนิสัน คณิตศาสตร์พื้นฐาน: ฉันได้เรียนรู้เกี่ยวกับพีชคณิตเชิงเส้นที่ใช้การพิสูจน์เช่นคำจำกัดความทั่วไปของเวกเตอร์สเปซ ฯลฯ และการโต้แย้งอย่างละเอียดของแคลคูลัสตามอาร์กิวเมนต์ epsilon-delta พีชคณิต: ฉันได้เรียนรู้เกี่ยวกับคำจำกัดความและตัวอย่างของกลุ่มแหวนและฟิลด์ ฉันมีชั้นเรียนสำหรับนักเรียน cs และยังไม่ได้เรียนรู้เกี่ยวกับความรู้ทั่วไปของระบบพีชคณิตนี้

2
โปรแกรม GCT ของ Mulmuley
บางครั้งก็อ้างว่าทฤษฎีความซับซ้อนเชิงเรขาคณิตของ Ketan Mulmuley เป็นโปรแกรมที่มีเหตุผลเพียงอย่างเดียวสำหรับการตั้งคำถามเปิดของทฤษฎีความซับซ้อนเช่น P กับคำถาม NP มีข้อคิดเห็นเชิงบวกหลายประการจากนักทฤษฎีความซับซ้อนที่มีชื่อเสียงเกี่ยวกับโปรแกรม ตาม Mulmuley มันจะใช้เวลานานเพื่อให้ได้ผลลัพธ์ที่ต้องการ การเข้าสู่พื้นที่นั้นไม่ใช่เรื่องง่ายสำหรับนักทฤษฎีความซับซ้อนทั่วไปและต้องการความพยายามอย่างมากในการจัดการกับเรขาคณิตเชิงพีชคณิตและทฤษฎีการเป็นตัวแทน ทำไม GCT จึงถูกพิจารณาว่ามีความสามารถในการชำระ P vs. NP? มูลค่าของการเรียกร้องคืออะไรหากคาดว่าจะใช้เวลานานกว่า 100 ปีกว่าจะถึงที่นั่น? อะไรคือข้อดีของวิธีการปัจจุบันอื่น ๆ และสิ่งที่อาจเพิ่มขึ้นในอีก 100 ปีข้างหน้า? สถานะปัจจุบันของโปรแกรมคืออะไร? เป้าหมายต่อไปของโปรแกรมคืออะไร? มีการวิจารณ์พื้นฐานของรายการหรือไม่? ฉันต้องการคำตอบที่เข้าใจได้โดยนักทฤษฎีความซับซ้อนทั่วไปที่มีพื้นฐานน้อยที่สุดจากเรขาคณิตเชิงพีชคณิตและทฤษฎีการเป็นตัวแทน

2
ฮัน
คือทุกคนคุ้นเคยกับ Yijie ฮันพื้นที่เชิงเส้นจำนวนเต็มเรียงลำดับขั้นตอนวิธีการ? ผลลัพธ์นี้ปรากฏในกระดาษที่ค่อนข้างสั้น ( การจัดเรียงอย่างแน่นอนในเวลาO ( n log log n )และพื้นที่เชิงเส้น J. Alg. 50: 96–105, 2004) ซึ่งโดยทั่วไปแล้วจะติดกาวผลลัพธ์ก่อนหน้าจำนวนมากพร้อมกับการดัดแปลงที่เหมาะสม ปัญหาของฉันคือว่ามันเขียนในลักษณะค่อนข้างมือโบกมือโดยไม่ต้องลึกเข้าไปในเฉพาะใด ๆ มันอาศัยเอกสารก่อนหน้าอย่างมากซึ่งโดดเด่นในหมู่พวกเขาอีกกระดาษโดย Han ( ปรับปรุงการเรียงลำดับจำนวนเต็มอย่างรวดเร็วในพื้นที่เชิงเส้นO(nloglogn)O(nlog⁡log⁡n)O(n \log\log n)O(nloglogn)O(nlog⁡log⁡n)O(n \log\log n). สารสนเทศและการคำนวณ 170 (1): 81–94) เขียนในลักษณะเดียวกัน ฉันมีปัญหาอย่างมากในการทำความเข้าใจเอกสารทั้งสองนี้โดยเฉพาะอย่างยิ่งวิธีที่พวกเขาปรับและใช้ผลลัพธ์ก่อนหน้า ฉันอยากจะขอบคุณความช่วยเหลือใด ๆ. แน่นอนเกินไปและคลุมเครือเกินกว่าจะถือว่าเป็นคำถามที่เหมาะสม แต่ฉันหวังว่าจะพัฒนาการอภิปรายข้ามคำถามและคำตอบที่มีการกำหนดชัดเจน เพื่อนำไปสู่คำถามต่อไปนี้คือคำถามแรกของฉัน ในเล็มม่า 2 แห่งข้อมูล คอมพ์ กระดาษมีอัลกอริธึมเวลาแบบวนซ้ำสำหรับการค้นหาจำนวนเต็มที่เล็กที่สุด mth ในชุดของจำนวนเต็มขนาดเล็กnจำนวนที่บรรจุkแต่ละคำเป็น RAM รายละเอียดของขั้นตอนวิธีการล้มเหลวในการพูดถึงวิธีกรณีฐานk = O …

7
การบังคับใช้วิทยานิพนธ์คริสตจักรทัวริงกับรูปแบบการคำนวณแบบโต้ตอบ
Paul Wegner และ Dina Goldin มีมานานกว่าทศวรรษแล้วที่ได้ตีพิมพ์เอกสารและหนังสือโดยมีเหตุผลว่าวิทยานิพนธ์วิทยานิพนธ์ทัวริสต์ของโบสถ์มักจะบิดเบือนความจริงในชุมชน CS Theory และที่อื่น ๆ นั่นคือมันจะถูกนำเสนอเป็นการรวมการคำนวณทั้งหมดเมื่อในความเป็นจริงมันจะใช้เฉพาะกับการคำนวณฟังก์ชั่นซึ่งเป็นส่วนย่อยที่เล็กมากของการคำนวณทั้งหมด พวกเขาแนะนำว่าเราควรพยายามสร้างแบบจำลองการคำนวณเชิงโต้ตอบที่การสื่อสารกับโลกภายนอกเกิดขึ้นในระหว่างการคำนวณ คำวิจารณ์เดียวที่ฉันได้เห็นจากงานนี้คือในแลมบ์ดาเดอะฟอรัมขั้นสูงสุด คำถามของฉันคือมีการวิจารณ์ในแนวความคิดนี้อีกหรือไม่และโดยเฉพาะอย่างยิ่งเครื่องจักรทัวริงถาวรของพวกเขา และถ้าไม่เป็นเช่นนั้นทำไมมันจึงดูน้อยมาก (ฉันอาจเข้าใจผิด) สุดท้ายแนวคิดเรื่องความเป็นสากลจะแปลไปยังโดเมนเชิงโต้ตอบได้อย่างไร

17
การคาดเดาหมายถึงทฤษฎีบทสี่สี
ทฤษฎีบทสี่สี (4CT) ระบุว่ากราฟระนาบทุกอันมีสี่สี มีหลักฐานสองข้อที่ให้ [Appel, Haken 1976] และ [Robertson, Sanders, Seymour, Thomas 1997] หลักฐานทั้งสองนี้ใช้คอมพิวเตอร์ช่วยและค่อนข้างน่ากลัว มีการคาดเดาหลายอย่างในทฤษฎีกราฟที่บ่งบอกถึง 4CT การแก้ปัญหาของการคาดเดาเหล่านี้อาจต้องการความเข้าใจที่ดีขึ้นเกี่ยวกับการพิสูจน์ 4CT นี่คือการคาดเดาหนึ่งอย่าง: การคาดเดา : ให้เป็นกราฟระนาบปล่อยให้Cเป็นชุดของสีและf : C → Cการมีส่วนร่วมอย่างอิสระ ให้L = ( L v : v ∈ V ( G ) )เป็นเช่นนั้นGGGCCCฉ: C→ Cf:C→Cf : C \rightarrow CL = ( Lโวลต์: v ∈ …

9
อัลกอริทึมโลภที่เหมาะสมที่สุดสำหรับปัญหา NP-hard
ความโลภเนื่องจากการขาดคำพูดที่ดีกว่าเป็นสิ่งที่ดี หนึ่งในกระบวนทัศน์อัลกอริทึมแรกที่สอนในขั้นตอนวิธีการเบื้องต้นหลักสูตรเป็นวิธีโลภ วิธีโลภส่งผลให้เกิดอัลกอริธึมที่ง่ายและเข้าใจง่ายสำหรับปัญหาหลายอย่างในพีน่าสนใจยิ่งขึ้นสำหรับปัญหา NP บางตัวโลภที่เห็นได้ชัดและเป็นธรรมชาติ / อัลกอริธึมโลภท้องถิ่นส่งผลให้ ตัวอย่างคลาสสิกเป็นชุดปัญหาปก อัลกอริทึมโลภธรรมชาติให้ปัจจัยการประมาณ O (ln n) ซึ่งเหมาะสมที่สุดยกเว้น P = NP ตั้งชื่ออัลกอริทึมโลภ / ท้องถิ่นตามธรรมชาติสำหรับปัญหา NP-hard ที่เหมาะสมที่สุดภายใต้สมมติฐานเชิงทฤษฎีที่ซับซ้อนที่เหมาะสม

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

5
มีตรรกะโดยไม่ต้องเหนี่ยวนำที่จับมาก P?
Immerman-Vardi ทฤษฎีบทระบุว่า PTIME (หรือ P) เป็นอย่างแม่นยำระดับของภาษาที่สามารถอธิบายได้ด้วยประโยคแรกที่สั่งซื้อลอจิกร่วมกันกับผู้ประกอบการจุดคงที่กว่าระดับของโครงสร้างที่สั่งซื้อ โอเปอเรเตอร์จุดคงที่สามารถเป็นจุดคงที่น้อยที่สุด (ตามที่พิจารณาโดย Immerman และโดย Vardi) หรือจุดคงที่แบบขยาย (สเตฟาน Kreutzer, การแสดงออกที่เท่าเทียมกันของตรรกะจุดคงที่อย่างน้อยและเงินเฟ้อ , พงศาวดารของตรรกะที่บริสุทธิ์และประยุกต์130 61-78, 2004) ยูริ Gurevich สันนิษฐานว่าไม่มีเหตุผลจับ PTIME ( ตรรกะและความท้าทายของวิทยาการคอมพิวเตอร์ในปัจจุบันแนวโน้มในทฤษฎีวิทยาศาสตร์คอมพิวเตอร์เอ็ดเอ็ด Egon Boerger, 1-57 สำนักวิทยาการคอมพิวเตอร์ 2531) ขณะที่มาร์ติน Grohe ระบุว่าเขาคือ ไม่ค่อยแน่ใจ ( The Quest for a Logic Capturing PTIME , FOCS 2008) ผู้ประกอบการจุดคงที่หมายถึงการจับพลังของการเรียกซ้ำ คะแนนคงที่มีประสิทธิภาพ แต่ไม่ชัดเจนสำหรับฉันว่าจำเป็น มีตัวดำเนินการ X …

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.