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

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

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

ถามคนที่มีพื้นฐานด้านวิทยาศาสตร์คอมพิวเตอร์ว่านิพจน์ปกติคืออะไรและคำตอบน่าจะเกินกว่าข้อ จำกัด ของการเข้าถึงออโตเมติก จำกัด ของรัฐ ตัวอย่างเช่น“ นิพจน์ทั่วไป” /^1?$|^(11+?)\1+$/ ที่สร้างขึ้นโดยบุคลิกภาพ Perl ตั้งข้อสังเกตAbigail (และเป็นส่วนหนึ่งของชุดทดสอบของ Perlตั้งแต่ปี 2002) อธิบายเครื่องที่ยอมรับตัวเลขเอกเพียงคอมโพสิต แต่การออกกำลังกาย 4.5 (ข)ในรุ่นที่สามของปีเตอร์ลินซ์ของแนะนำอย่างเป็นทางการภาษาและออโตมีการใช้ผู้อ่านแทรกสูบน้ำที่จะพิสูจน์ว่า L={an:n is not a prime number}L={an:n is not a prime number}\mathcal{L} = \left\{ a^n : n\ \mathrm{is\ not\ a\ prime\ number} \right\} ไม่ใช่ภาษาปกติ ในบริบทที่ความแตกต่างสำคัญเราควรเรียกการแสดงออกที่ทรงพลังกว่านี้อย่างเคร่งครัดว่าอย่างไร

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

มีใครบางคนกล้าที่จะพยายามอธิบายให้ชัดเจนว่าอะไรคือความสัมพันธ์ของสาขาการศึกษาเหล่านี้หรืออาจให้คำตอบที่เป็นรูปธรรมมากขึ้นในระดับของปัญหา? ชอบซึ่งรวมถึงการสันนิษฐานบางสูตรที่ยอมรับกันอย่างแพร่หลาย ถ้าฉันได้รับสิ่งนี้อย่างถูกต้องเมื่อคุณไปจาก SAT ถึง SMT คุณจะเข้าสู่เขตของ CSP เป็นหลัก ในทางกลับกันถ้าคุณ จำกัด CSP ให้กับบูลีนคุณจะต้องพูดถึง SAT และอาจมีปัญหาที่เกี่ยวข้องเช่น #SAT ฉันคิดว่ามันชัดเจนมาก (เช่น cf Kolaitis และบทของ Vardi "A Logical Approach เพื่อความพึงพอใจของข้อ จำกัด " ในFinite Model Theory และการประยุกต์ของมันโดยGrädel et al.) แต่สิ่งที่ชัดเจนสำหรับฉันคือเมื่อมีข้อ จำกัด "โมดูโลทฤษฎี" และเมื่อพวกเขาไม่ได้? SMT บ่งบอกว่าทฤษฎีใช้ความเสมอภาคและความไม่เท่าเทียมกันเสมอในเขตกว้างของ CSP หรือไม่? เท่าที่ฉันสามารถบอกได้คุณสามารถแนะนำตัวแปรหย่อนได้ดังนั้นความแตกต่าง [ถ้ามี] น้อยกว่าชัดเจน ค่อนข้างที่ผ่านมา"Satisfiability คู่มือ" (IOP กด 2009)รวบรวมทั้ง …

30 soft-question  sat  terminology 

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

30 ho.history-overview  terminology 

เนื่องจากไม่มีคำตอบที่ Lambda the Ultimateฉันลองที่นี่อีกครั้ง: ระบบการเขียนคำซ้ำถูกนำมาใช้เป็นตัวอย่างในทฤษฎีบทอัตโนมัติที่พิสูจน์การคำนวณเชิงสัญลักษณ์และแน่นอนเพื่อกำหนดไวยากรณ์อย่างเป็นทางการ มีบางภาษาโปรแกรมที่อยู่ในระยะการเขียนใหม่มี แต่เท่าที่ผมเข้าใจแนวคิดเป็นที่รู้จักกันมากขึ้นเช่นจับคู่รูปแบบ การจับคู่รูปแบบถูกใช้อย่างมากในภาษาที่ใช้งานได้ Barry Jay ได้สร้างทฤษฎีทั้งหมดที่เรียกว่าpattern แคลคูลัสแต่เขากล่าวถึงการเขียนคำซ้ำ ๆ ฉันมีความรู้สึกว่าพวกเขาทั้งหมดอ้างถึงแนวคิดพื้นฐานเดียวกันดังนั้นคุณสามารถใช้การเขียนคำซ้ำและการจับคู่รูปแบบเหมือนกันได้หรือไม่

25 pl.programming-languages  terminology  term-rewriting-systems 

มีปัญหาใน CS ที่ไม่มีอัลกอริธึมที่มีประสิทธิภาพหรือไม่แม้ว่าจะมีทฤษฎีบทการดำรงอยู่ที่พิสูจน์ว่าอัลกอริทึมที่มีประสิทธิภาพนั้นต้องมีอยู่จริงหรือไม่? ปัญหาเหล่านี้เรียกว่าอะไร? ฉันจะหาข้อมูลเพิ่มเติมได้ที่ไหน

22 ds.algorithms  reference-request  terminology 

ขออภัยถ้านี่เป็นคำถามที่ไร้เดียงสา แต่ฉันไม่สามารถหาเหตุผลในหนังสือตำราสำคัญ ๆ เช่น Bondy-Murty, Diestel หรือ West กราฟที่สมบูรณ์แบบมีคุณสมบัติที่สวยงามมากมาย แต่เหตุผลเดียวที่พวกเขาเรียกว่าสมบูรณ์แบบคืออะไร หรือมันเป็นเพียงแค่ความพึงพอใจโดย Berge

16 graph-theory  co.combinatorics  terminology  graph-colouring 

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

16 ds.algorithms  reference-request  graph-algorithms  terminology 

สิ่งหนึ่งที่น่าทึ่งเกี่ยวกับวิทยาศาสตร์คอมพิวเตอร์ก็คือการใช้งานทางกายภาพนั้นมีความหมายว่า ผู้คนประสบความสำเร็จในการสร้างคอมพิวเตอร์จากพื้นผิวที่แตกต่างกันหลาย - รีเลย์, หลอดสุญญากาศ, ทรานซิสเตอร์แยกเป็นต้นในไม่ช้าผู้คนอาจประสบความสำเร็จในการสร้างคอมพิวเตอร์ทัวริงที่สมบูรณ์ด้วยวัสดุที่ไม่ใช่เชิงเส้นแสง ในหลักการก็ดูเหมือนเป็นไปได้ที่จะสร้างคอมพิวเตอร์บิลเลียดลูก อย่างไรก็ตามสารตั้งต้นทางกายภาพนั้นไม่เกี่ยวข้องอย่างสมบูรณ์ ผู้คนพบว่าชุดส่วนประกอบบางอย่าง - โดยเฉพาะอย่างยิ่ง, ไดโอด - ตัวต้านทาน - เป็น "ไม่สมบูรณ์": ไม่ว่าคุณจะเชื่อมต่อกับแหล่งจ่ายไฟและจำนวนเท่าใด, มีบางสิ่งที่ง่ายมากที่ไม่สามารถทำได้ ทำ. (ตรรกะไดโอดตัวต้านทานสามารถใช้ AND, OR แต่ล้มเหลวในการใช้งานไม่ได้) นอกจากนี้วิธีการบางอย่างในการเชื่อมต่อส่วนประกอบ - โดยเฉพาะอย่างยิ่งperceptron ชั้นเดียว - คือ "ไม่สมบูรณ์": มีบางสิ่งที่ง่ายมากที่พวกเขาไม่สามารถทำได้ (perceptron ชั้นเดียวสามารถใช้ AND, OR, NOT แต่ไม่สามารถใช้ XOR ได้) มีวลีที่น่าอึดอัดใจน้อยกว่าสำหรับ "สิ่งที่มีอยู่จริงซึ่งสามารถสร้างเครื่องทัวริง" ได้หรือไม่? หรือในทางตรงกันข้าม "สิ่งที่มีอยู่จริงซึ่งไม่ว่าจะมีกี่ชิ้นที่ไม่สามารถสร้างเครื่องทัวริงได้" ในขณะที่ฉันใช้วลี"ชุดสมบูรณ์ตามหน้าที่"หรือ "ชุดประตูสากล" - หรือเมื่อพูดกับนักคณิตศาสตร์ "สิ่งทางกายภาพที่สามารถใช้ชุดสมบูรณ์ตามหน้าที่" …

16 computability  turing-machines  terminology  physics  natural-computing 

คำถามนี้เกี่ยวกับตรรกะเชิงประพจน์และควรอ่าน "การแก้ไข" ที่เกิดขึ้นทั้งหมดว่า "การแก้ปัญหาเชิงประพจน์" คำถามนี้เป็นสิ่งที่ธรรมดามาก แต่รบกวนฉันมาระยะหนึ่งแล้ว ฉันเห็นคนยืนยันว่าการแก้ปัญหาเชิงประพจน์เสร็จสมบูรณ์ แต่ฉันก็เห็นด้วยว่าผู้คนยืนยันว่าการลงมตินั้นไม่สมบูรณ์ ฉันเข้าใจความหมายของการแก้ปัญหาที่ไม่สมบูรณ์ ฉันเห็นด้วยเช่นกันว่าทำไมผู้คนถึงอ้างว่ามันสมบูรณ์ แต่คำว่า "สมบูรณ์" แตกต่างจากวิธีที่ "สมบูรณ์" เมื่อใช้อธิบายการหักตามธรรมชาติหรือแคลคูลัสตามลำดับ แม้แต่การคัดเลือก "การพิสูจน์เสร็จสมบูรณ์" ก็ไม่ได้ช่วยเพราะสูตรต้องอยู่ใน CNF และการแปลงสูตรเป็นสูตร CNF ที่เทียบเท่าหรือสูตร CNF ที่ไม่น่าพอใจผ่านการแปลง Tseitin ไม่ได้ถูกนำมาใช้ในระบบพิสูจน์ ความสมบูรณ์และความสมบูรณ์ ให้เราสมมติว่าการตั้งค่าของตรรกะเชิงประพจน์คลาสสิกกับความสัมพันธ์ระหว่างจักรวาลของโครงสร้างบางอย่างกับชุดของสูตรและแนวคิดเกี่ยวกับความจริง Tarskian คลาสสิกในโครงสร้าง เราเขียน⊨ φถ้าφเป็นจริงในโครงสร้างทั้งหมดได้รับการพิจารณา ฉันจะถือว่าระบบ⊢สำหรับการหาสูตรจากสูตร⊨⊨\models⊨φ⊨φ\models \varphiφφ\varphi⊢⊢\vdash ระบบเป็นเสียงที่เกี่ยวกับ⊨ถ้าเมื่อใดก็ตามที่เรามี⊢ ไวเรายังมี⊨ไว ระบบ⊢คือสมบูรณ์ด้วยความเคารพ⊨ถ้าเมื่อใดก็ตามที่เรามี⊨ ไวเรายังมี⊢ไว⊢⊢\vdash⊨⊨\models⊢φ⊢φ\vdash \varphi⊨φ⊨φ\models \varphi⊢⊢\vdash⊨⊨\models⊨φ⊨φ\models \varphi⊢φ⊢φ\vdash \varphi กฎการแก้ปัญหา ตัวอักษรเป็นข้อเสนออะตอมหรือการปฏิเสธของมัน ประโยคเป็นความแตกต่างของตัวอักษร สูตรใน CNF คือการรวมกันของข้อ กฎการแก้ปัญหาอ้างว่า กฎการแก้ปัญหาอ้างว่าหากการรวมกันของข้อกับข้อ¬ …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

แทรก: สมมติว่า (\x -> ⊥) = ⊥ :: A -> BETA-เท่าเทียมเรามี พิสูจน์: ⊥ = (\x -> ⊥ x)โดยกทพ. เทียบเท่าและ(\x -> ⊥ x) = (\x -> ⊥)โดยการลดภายใต้แลมบ์ดา รายงาน Haskell 2010 ส่วน 6.2 ระบุseqฟังก์ชันด้วยสองสมการ: seq :: a -> b -> b seq ⊥ b = ⊥ seq ab = b, ถ้า a …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

เป็นเวลานานที่สุดที่ฉันคิดว่าปัญหาคือปัญหา NP-complete ถ้ามันเป็นทั้ง (1) NP-hard และ (2) อยู่ใน NP อย่างไรก็ตามในบทความที่มีชื่อเสียง"วิธี ellipsoid และผลที่ตามมาในการเพิ่มประสิทธิภาพ combinatorial"ผู้เขียนอ้างว่าปัญหาเลขเศษส่วนสีเป็นของ NP และเป็น NP-hard แต่ยังไม่ทราบว่าจะสมบูรณ์ NP บนหน้าสามของกระดาษผู้เขียนเขียน: ... เราทราบว่าปัญหาการบรรจุจุดยอดของกราฟอยู่ในความหมายเทียบเท่ากับปัญหาจำนวนสีรงค์และแสดงความคิดเห็นเกี่ยวกับปรากฏการณ์ที่ว่าปัญหาหลังนี้เป็นตัวอย่างของปัญหาในซึ่งเป็นN P -hard แต่ (ตอนนี้) ไม่เป็นที่รู้จักว่าเป็นN P- ที่สมบูรณ์NPNP\mathsf{NP}NPNP\mathsf{NP}NPNP\mathsf{NP} เป็นไปได้อย่างไร? ฉันไม่มีรายละเอียดเล็กน้อยในคำจำกัดความของ NP-complete หรือไม่

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

เราบอกว่าฟังก์ชั่นสามารถสร้างเวลาได้หากมีเครื่องทัวริงหลายเทปที่กำหนดค่าได้Mซึ่งในอินพุตทั้งหมดของความยาวnทำให้ขั้นตอนf ( n )มากที่สุดและสำหรับแต่ละnมีอินพุตบางส่วนของ ความยาวnซึ่งMทำให้ขั้นตอนf ( n ) เป็นพิเศษฉ: N → Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N}MMMnnnฉ( n )f(n)f(n)nnnnnnMMMฉ( n )f(n)f(n) เราบอกว่าฟังก์ชั่นนั้นสามารถสร้างขึ้นได้อย่างเต็มเวลาหากมีเครื่องทัวริงหลายเทปที่กำหนดค่าได้Mซึ่งบนอินพุตทั้งหมดของความยาวnทำตามขั้นตอนf ( n )อย่างแน่นอนฉ: N → Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N}MMMnnnf(n)f(n)f(n) Q1: มีฟังก์ชันที่ จำกัด เวลาและไม่สามารถกำหนดเวลาได้อย่างสมบูรณ์หรือไม่? คำตอบคือใช่ (ดูคำตอบนี้ ) ถ้า E เงื่อนไขสำหรับ "ใช่" สามารถเพิ่มความแข็งแกร่งให้กับP ≠ N P ได้หรือไม่? สามารถ "ใช่" ได้หรือไม่EXP−TIME≠NEXP−TIMEEXP−TIME≠NEXP−TIMEEXP-TIME \neq NEXP-TIMEP≠NPP≠NPP\neq NP Q2: ฟังก์ชั่น time-constuctible class (เต็ม) …

13 cc.complexity-theory  time-complexity  terminology 

ฉันกำลังฟังคำปราศรัยของ Alan Kays "มันซับซ้อนหรือไม่หรือเราแค่ทำให้มันซับซ้อน" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) ซึ่งเขาบอกว่า "semaphores เป็นความคิดที่ไม่ดีและมีบางสิ่งที่เรียกว่าเวลาหลอกที่เหนือกว่า" (เวลา 51:40 น. ในวิดีโอที่เชื่อมโยง) บางทีฉันอาจเข้าใจผิดคำว่า "เวลาหลอก" แต่คุณรู้อะไรเกี่ยวกับสิ่งเหล่านี้หรือไม่

11 terminology  concurrency 

คำจำกัดความเพียงอย่างเดียวของ "แคลคูลัส" ที่ฉันรู้คือการศึกษาข้อ จำกัด อนุพันธ์อินทิกรัล ฯลฯ ในการวิเคราะห์ แลมบ์ดาแคลคูลัส (หรือแคลคูลัส mu) เป็น "แคลคูลัส" ในแง่ใด มันเกี่ยวข้องกับแคลคูลัสในการวิเคราะห์อย่างไร

11 terminology  lambda-calculus