คำถามติดแท็ก ho.history-overview

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

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

นี่เป็น "คำถามเชิงประวัติศาสตร์" มากกว่าคำถามการวิจัย แต่เป็นการลดแบบดั้งเดิมในการค้นหาคำสั่งในอัลกอริทึม Shor สำหรับการแยกตัวประกอบที่ค้นพบครั้งแรกโดย Peter Shor หรือเป็นที่รู้จักกันก่อนหน้านี้? มีกระดาษที่อธิบายการลดลงของ Shor ล่วงหน้าหรือไม่หรือเรียกง่ายๆว่า หรือมันเป็นเพียงการค้นพบอื่นในกระดาษแผ่นเดียวกัน?

79 quantum-computing  ho.history-overview  factoring 

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

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

ฉันต้องการเขียนแบบสำรวจเกี่ยวกับการใช้งาน Topology ในวิทยาการคอมพิวเตอร์ ฉันวางแผนที่จะครอบคลุมประวัติศาสตร์ของความคิดทอพอโลยีในวิทยาการคอมพิวเตอร์และยังเน้นการพัฒนาในปัจจุบันไม่กี่ มันจะมีประโยชน์อย่างมากถ้าใครสามารถให้ข้อมูลเกี่ยวกับคำถามใด ๆ ด้านล่าง มีเอกสารหรือหมายเหตุใดบ้างที่อธิบายลำดับเหตุการณ์ของการใช้โทโพโลยีในวิทยาการคอมพิวเตอร์หรือไม่? การประยุกต์ใช้ผลลัพธ์ที่สำคัญที่สุดในโทโพโลยีเพื่อวิทยาการคอมพิวเตอร์คืออะไร สิ่งที่น่าสนใจที่สุดของงานปัจจุบันที่ใช้โทโพโลยีเพื่อให้ได้ข้อมูลเชิงลึกในการคำนวณคืออะไร ขอบคุณ!

61 reference-request  ho.history-overview  topology  survey 

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

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

หากคุณสามารถเปลี่ยนชื่อการเขียนโปรแกรมแบบไดนามิกคุณจะเรียกมันว่าอะไร?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

ในบทความคลาสสิกปี 1979 ของ Andrew Chi-Chih Yao เขาอ้างถึง "MO Rabin และ AC Yao ในการเตรียมการ" นี่คือผลที่ซับซ้อนการสื่อสารทางทิศข้อผิดพลาดการทำงานของความเสมอภาค EQ (ไม่ว่าจะจำนวนเต็มในช่วงเพื่อมีค่าเท่ากัน) จะN)NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) แอนดรูว์ Chi-Chih Yao คำถามซับซ้อนที่เกี่ยวข้องกับการคำนวณแบบกระจาย (รายงานเบื้องต้น) , STOC 1979, pp. 209-213. ดอย: 10.1145 / 800135.804414 การสำรวจเบื้องต้นของ Alexander Razborov เกี่ยวกับความซับซ้อนของการสื่อสารได้พิสูจน์ผลลัพธ์นี้และระบุว่า "การก่อสร้างที่สวยงามดังต่อไปนี้มักเป็นของราบินและเย้า" ความคิดคือการพิจารณาบิตสตริงเป็นค่าสัมประสิทธิ์ของพหุนามกำหนดไว้; อลิซก็เลือกสุ่มจำนวนเต็มจาก 0 ถึงสำหรับนายก , โดยที่ , และส่ง(q, P (q) \ mod p)ถึงบ๊อบP(x)P(x)P(x)qqqp−1p−1p-1p∈[3n,6n]p∈[3n,6n]p …

40 ho.history-overview  communication-complexity 

ปัญหานี้ได้รับแรงบันดาลใจจากคำถาม MOซึ่งฉันคิดว่าน่าสนใจมาก ปัญหาเปิดที่เก่าแก่ที่สุดใน TCS คืออะไร เห็นได้ชัดว่าคำถามนี้ต้องการคำชี้แจงบางอย่าง ก่อนอื่น TCS คืออะไร ฉันคิดว่าการมีอยู่ของจำนวนที่สมบูรณ์แบบผิดปกติไม่ใช่ TCS ฉันจะบอกว่าปัญหาที่สิบของฮิลแบร์ตคือ TCS ฉันคิดว่าปัญหาเช่น "เราสามารถสร้าง X ด้วยไม้บรรทัดและเข็มทิศ" ก็เป็น TCS ด้วยเช่นกันเพราะพวกเขากำลังขออัลกอริทึมในรูปแบบการคำนวณแบบ จำกัด อาจไม่มีวิธีที่เข้มงวดในการกำหนดว่าปัญหา TCS คืออะไร แต่ใช้วิจารณญาณของคุณ บางทีการทดสอบหนึ่งครั้งคือ "ถ้าสิ่งนี้ได้รับการแก้ไขมันน่าจะปรากฏใน STOC / FOCS หรือไม่นักวิจัยที่แก้ไขมันน่าจะเป็นนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีหรือไม่" ประการที่สอง "เก่าแก่ที่สุด" คืออะไร? ฉันหมายถึงเก่าที่สุดตามวันที่ วันที่ที่ระบุควรตรวจสอบได้ แต่ฉันไม่คิดว่ามันจะยากเกินไป ประการที่สาม "ปัญหาเปิด" คืออะไร? โดย "ปัญหาเปิด" ฉันหมายถึงปัญหาที่ถูกพิจารณาเป็นการเปิดโดยเฉพาะในบางครั้ง บางทีมันอาจปรากฏในตอนท้ายของบทความในส่วนเปิดปัญหาหรืออาจมีหลักฐานว่าบางคนทำงานและล้มเหลวหรืออาจมีหลักฐานที่ไม่ถูกต้องในวรรณคดีซึ่งแนะนำว่ามีการศึกษา ตัวอย่างของสิ่งที่ไม่ตรงกับเกณฑ์นี้: "ชาวกรีกศึกษาวัตถุ X และ Y. Z …

36 soft-question  open-problem  ho.history-overview 

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

34 soft-question  ho.history-overview 

ฉันมีคำถามทางประวัติศาสตร์ ฉันกำลังพยายามที่จะตรวจสอบการอ้างอิงสำหรับความจริงที่ว่า 3-colourability ของกราฟ (หรือ -colourability สำหรับ ) เป็น NP-hardk ≥ 3kkkk ≥ 3k≥3k\geq 3 คำตอบที่ดึงดูดคือ "กระดาษต้นฉบับของ Karp" แต่นั่นเป็นสิ่งที่ผิด นี่คือการสแกน: reducibility ท่ามกลางปัญหา Combinatorial, คาร์พ (1972) มันพิสูจน์ได้ว่าหมายเลขรงค์ (อินพุต: กราฟผลผลิต: ) นั้นยาก นั่นเป็นปัญหาที่ยากขึ้นและการลดลงนั้นแตกต่างจากการสร้างแกดเจ็ตมาตรฐาน (มี 3 สีจริงเท็จและกราวด์) ที่มีความแข็งถึง 3 สีχ ( G )χ(G)\chi(G) Garey and Johnson, คอมพิวเตอร์และการล่วงล้ำ, มี -colourability เป็น [GT4] และอ้างถึง Karp …

33 np-hardness  ho.history-overview 

เรา "รู้" ว่ามีชื่อว่า Steve Cook และ\ mathsf {NC}มีชื่อสำหรับ Nick Pippenger ถ้าฉันไม่เข้าใจผิดสตีฟคุกให้ชื่อว่า NC เป็นเกียรติแก่ Nick Pippenger และฉันก็บอกว่าสิ่งที่ตรงกันข้ามนั้นเป็นจริงเช่นกัน แต่ผมไม่สามารถที่จะหาหลักฐานใด ๆ ของความเป็นจริงหลังนี้ในกระดาษทั้ง Steve Cook บน DCFLs หรือนิสันของหลักฐานว่า\ mathsf {RL} \ subseteq \ mathsf {SC}N C R L ⊆ S CSCSC\mathsf{SC}NCNC\mathsf{NC}RL⊆SCRL⊆SC\mathsf{RL} \subseteq \mathsf{SC} มีหลักฐานใดบ้างเกี่ยวกับการอ้างสิทธิ์ในภายหลังหรือเป็นเพียง "อากาศ"? ป.ล. ฉันถามเพราะฉันกำลังดูตัวอย่างของกฎของ Epigy Stiglerและสงสัยว่าฉันจะเรียกว่า "Stigler Reciprocity": สิ่งที่คิดค้นโดย A นั้นตั้งตามชื่อ …

33 cc.complexity-theory  ho.history-overview 

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

30 ho.history-overview  terminology 

ในหนังสือของเขา Boolean Function Complexity, Stasys Jukna กล่าวถึง (หน้า 564) ว่า Kolmogorov เชื่อว่าทุกภาษาใน P มีวงจรขนาดเชิงเส้น ไม่มีการกล่าวถึงการอ้างอิงและฉันไม่พบสิ่งใดทางออนไลน์ ไม่มีใครรู้เพิ่มเติมเกี่ยวกับเรื่องนี้?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Grothendieck ได้ล่วงลับไปแล้ว เขามีผลกระทบอย่างมากในคณิตศาสตร์ศตวรรษที่ 20 ต่อเนื่องในศตวรรษที่ 21 คำถามนี้เป็นคำถามที่ถามบ้างในสไตล์ / จิตวิญญาณเช่นของผลงานอลันทัวริงวิทยาศาสตร์คอมพิวเตอร์ อะไรคืออิทธิพลสำคัญของGrothendieckเกี่ยวกับวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี?

27 big-picture  ct.category-theory  ho.history-overview 

แก้ไข: ฉันเลือกคำตอบด้วยคะแนนสูงสุดภายในวันที่ 6 ธันวาคม 2012 นี่เป็นคำถามที่อ่อนนุ่ม แนวคิดของอัลกอริธึม (กำหนดขึ้น) ย้อนกลับไปที่ปีก่อนคริสตกาล ขั้นตอนวิธีความน่าจะเป็นเป็นอย่างไร ในรายการ wiki นี้อัลกอริทึมของ Rabin สำหรับปัญหาคู่ที่ใกล้ที่สุดในเรขาคณิตการคำนวณได้รับเป็นอัลกอริทึมแบบสุ่มแรก (ปี ???) ลิปตันแนะนำอัลกอริธึมของราบินในฐานะจุดเริ่มต้นของยุคสมัยใหม่ของอัลกอริธึมแบบสุ่มที่นี่แต่ไม่ใช่ในตอนแรก ฉันยังรู้อัลกอริธึมมากมายสำหรับออโตมาตะแบบ จำกัด ความน่าจะเป็น (แบบจำลองการคำนวณที่ง่ายมาก) ที่ค้นพบในช่วงปี 1960 คุณรู้จักอัลกอริธึม / ความน่าจะเป็นแบบสุ่ม (หรือวิธีการ) ก่อนปี 1960 หรือไม่? หรือ การค้นหาใดที่สามารถมองเห็นเป็นอัลกอริธึมความน่าจะเป็น / สุ่มแบบแรก

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview