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

ฉันมักจะใช้สัญลักษณ์สำหรับสตริงที่ว่างเปล่า (คำที่ว่างเปล่าหรือสตริงที่ว่าง) แต่ฉันรู้ว่าบางคนใช้λแทนεεε\varepsilonλλ\lambdaεε\varepsilon ฉันคิดว่ามาจากคำว่า "Empty" อย่างไรก็ตามฉันไม่รู้ว่าต้นกำเนิดของλคืออะไรεε\varepsilonλλ\lambda ในทฤษฎีออโตมาตะมีการเปลี่ยนเอปไซลอนของออโตมาตาและมันก็บอกว่าเป็นการเปลี่ยนแลมบ์ดา ตัวอย่างเช่นซอฟต์แวร์JFLAPใช้สำหรับป้ายกำกับของการเปลี่ยนเอปไซลอนตามค่าเริ่มต้นλλ\lambda ฉันไปที่ต้นทางและค้นหา cs.stackexchange แต่หาไม่เจอ ไม่มีใครรู้อ้างอิงที่อธิบายสิ่งนี้หรือไม่

14 formal-languages  automata  reference-request  notation  history 

วรรณกรรมค่อนข้างชัดเจนว่าแรมหน่วยต้นทุนที่มีการคูณแบบดั้งเดิมนั้นไม่มีเหตุผล ไม่สามารถจำลองโดยเครื่องทัวริงในเวลาพหุนาม สามารถแก้ปัญหาที่สมบูรณ์ของ PSPACE ได้ในเวลาพหุนาม อย่างไรก็ตามการอ้างอิงทั้งหมดที่ฉันสามารถหาได้ในหัวข้อนี้ (Simon 1974, Schonhage 1979) ยังเกี่ยวข้องกับการดำเนินการบูลีนการหารจำนวนเต็ม ฯลฯ มีผลลัพธ์ใด ๆ สำหรับ "ความสมเหตุสมผล" ของแรมที่มีเฉพาะการเพิ่มการคูณและความเท่าเทียมกันหรือไม่ กล่าวอีกนัยหนึ่งซึ่งไม่มีการดำเนินการบูลีนการหารจำนวนเต็มที่ถูกตัดทอนการลบที่ถูกตัดทอน ฯลฯ ? ใครจะคิดว่าแรมดังกล่าวยังค่อนข้าง "ไม่มีเหตุผล" ธงสีแดงหลักคือว่าพวกเขาเปิดใช้งานการสร้างจำนวนเต็มขนาดใหญ่ชี้แจงในเวลาเชิงเส้นและเนื่องจากผลกระทบการบิด - ish ของการคูณนี้สามารถซับซ้อนโดยเฉพาะอย่างยิ่ง อย่างไรก็ตามฉันไม่พบผลลัพธ์ใด ๆ ที่แสดงว่าสิ่งนี้อนุญาตให้มีผลลัพธ์ "ไม่มีเหตุผล" (การเร่งความเร็วแบบยกกำลังของเครื่องทัวริงความสัมพันธ์ที่ไม่สมเหตุสมผลกับ PSPACE และอื่น ๆ ) วรรณกรรมมีผลลัพธ์ใด ๆ ในหัวข้อนี้หรือไม่?

13 complexity-theory  reference-request  computation-models  history 

ฉันสงสัยว่ามีบางคนรู้ที่มาของโมเดลเซิร์ฟเวอร์ลูกค้าหรือไม่ คำนี้มาจากไหน (กระดาษแอปพลิเคชันซอฟต์แวร์หนังสือ)

13 terminology  reference-request  distributed-systems  history 

ทำไมการแปลงแบบ Laplace จึงไม่เป็นที่นิยมสำหรับการแปลงภาพ? หนังสือเรียนส่วนใหญ่จะแปลงการแปลงฟูริเยร์เท่านั้น

12 history  image-processing 

ว่ากันว่าทฤษฎีการคำนวณก็เรียกอีกอย่างว่าทฤษฎีการเรียกซ้ำ ทำไมถึงเรียกว่าเป็นอย่างนั้น? เหตุใดการเรียกซ้ำจึงมีความสำคัญอย่างยิ่งนี้

12 computability  terminology  history 

ชื่อกล่าวมันทั้งหมด แต่ฉันอยากรู้อยากเห็นเพราะไม่ชัดเจนว่านักทฤษฎีบทมาเป็นชื่อ 'Isabelle' มันเป็นชื่อสำหรับคนหรือไม่? ฉันไม่สามารถค้นหาด้วยการค้นหาของ Google ได้

11 history  automated-theorem-proving  isabelle 

ที่ทำงานฉันได้รับมอบหมายให้อนุมานข้อมูลบางประเภทเกี่ยวกับภาษาแบบไดนามิก ฉันเขียนลำดับของข้อความไปยังletนิพจน์ที่ซ้อนกันเช่น: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } เนื่องจากฉันเริ่มต้นจากข้อมูลประเภททั่วไปและพยายามอนุมานประเภทที่เฉพาะเจาะจงมากขึ้นตัวเลือกที่เป็นธรรมชาติคือประเภทการปรับแต่ง ตัวอย่างเช่นตัวดำเนินการตามเงื่อนไขส่งคืนการรวมของประเภทของสาขาที่เป็นจริงและเท็จ …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

ฉันกำลังอ่านกระดาษ "เครื่องจักรคำนวณและสติปัญญา" ของทัวริง ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) และพบชิ้นส่วนที่เขาพูดว่า: ฉันได้ติดตั้งโปรแกรมเล็ก ๆ บนคอมพิวเตอร์ของแมนเชสเตอร์โดยใช้ที่เก็บข้อมูลเพียง 1,000 หน่วยโดยเครื่องที่ให้มาพร้อมกับหมายเลขสิบหกร่างตอบกลับด้วยอีกภายในสองวินาที ฉันจะท้าทายให้ทุกคนเรียนรู้จากคำตอบเหล่านี้เพียงพอเกี่ยวกับโปรแกรมเพื่อให้สามารถทำนายการตอบกลับใด ๆ สำหรับค่าที่ไม่ได้ใช้ ดูเหมือนว่าฉันจะมีปัญหาในการเรียนรู้ของเครื่อง :) แต่ฉันก็สนใจ AI อีกด้วยคำถามของฉันคือ: ไม่มีใครรู้ว่าโปรแกรมนี้กำลังทำอะไรอยู่? ฉันอยากรู้มาก PS: ตามความยาวของอินพุตและเอาต์พุตฉันสงสัยว่ามันเป็นอัลกอริทึมการเข้ารหัส แต่ฉันจะขอบคุณเบาะแสใด ๆ กับโปรแกรมจริง

10 algorithms  history 

ฉันได้ยินคำอธิบายที่เป็นไปได้หลายประการดังนั้นฉันต้องการอ้างอิงที่เชื่อถือได้ อัพเดท 05.19: ฉันสนใจคำถามนี้เพราะมีนักเรียนของฉันคนหนึ่งเขียนในวิทยานิพนธ์ของเขาว่าชื่อนี้มาจากคำอธิบายด้านล่าง (1) จนถึงตอนนี้ฉันคิด / ได้ยินว่ามันมาจากคำอธิบาย (2) ฉันจะรู้สึกไม่ดีทั้งที่ปล่อยให้สิ่งที่ผิดในวิทยานิพนธ์ของเขาเช่นเดียวกับบอกให้เขาลบมันถ้ามันอาจจะถูกต้อง (1) พิจารณาการค้นหาจำนวนเต็มในช่วงเวลา [0,2n−1][0,2n−1][0,2^{n-1}]. เราสามารถหาได้โดยใช้คำถามโดยขอให้ในขั้นตอนที่ไบนารีหลักของตัวเลขnnniiiithithi^{th} (2) ถ้าเรามีพื้นที่ค้นหาที่มีองค์ประกอบเราสามารถหาองค์ประกอบที่ไม่รู้จักโดยคำถามที่ซ้ำ ๆ แยกส่วนที่เหลือของพื้นที่ในสอง2n2n2^n และใช่ฉันรู้ว่า (2) สามารถให้อัลกอริทึมแบบเดียวกับ (1) แต่นั่นไม่ใช่จุดที่นี่ (2) สามารถนำไปใช้สำหรับปัญหาทั่วไปเพิ่มเติม

9 terminology  reference-request  history