คำถามติดแท็ก reference-request

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

13 reference-request  programming-languages  type-theory  category-theory 

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

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

มีวิธีธรรมชาติหรือเด่นในการเชื่อมโยงหรือเชื่อมโยงกลุ่มคณิตศาสตร์และภาษาทางการของ CS หรือแนวคิดหลักของ CS อื่น ๆ เช่นเครื่องจักรทัวริงหรือไม่? ฉันกำลังมองหาการอ้างอิง / แอปพลิเคชัน อย่างไรก็ตามโปรดทราบว่าฉันทราบถึงการเชื่อมโยงระหว่างกลุ่มย่อยและภาษา CS (กล่าวคือผ่านออโต จำกัด ) (วรรณกรรมนี้เกี่ยวกับ semiautomata เคยดูที่ "group-automata" หรือไม่?) ฉันได้เห็นกระดาษหนึ่งฉบับเมื่อหลายปีก่อนที่อาจเข้ามาใกล้ซึ่งแปลงตารางการเปลี่ยนแปลง TM เป็นการดำเนินการแบบไบนารีบางครั้งอาจเป็นกลุ่มในบางกรณีโดยตั้งอยู่บนสมมาตรบางอย่างในตารางสถานะ TM มันไม่ได้สำรวจโดยเฉพาะอย่างยิ่ง แต่ก็ไม่ได้ออกกฎ ยิ่งไปกว่านั้นโดยเฉพาะอย่างยิ่งเกี่ยวกับการวิจัยทางคณิตศาสตร์ที่มีขนาดใหญ่เกี่ยวกับการจำแนกกลุ่มที่ จำกัดหรือมีความหมายหรือการตีความใน TCS หรือไม่? มุมมอง "เลนส์อัลกอริธึม" ของอาคารวิจัยขนาดใหญ่นี้คืออะไร? มันคืออะไร "พูด" เกี่ยวกับโครงสร้างที่ซ่อนอยู่ที่เป็นไปได้ในการคำนวณ? คำถามนี้ได้รับแรงบันดาลใจบางส่วนจากบันทึกอื่น ๆ เช่น: การใช้โครงสร้างพีชคณิตใน TCS RJ Lipton ในทฤษฎีบทของ Gromov

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

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

13 terminology  reference-request  distributed-systems  history 

ปัญหาการโพสต์ความสอดคล้อง (PCP) ไม่สามารถตัดสินใจได้ รุ่นขอบเขตของพีซีเป็นสมบูรณ์และรุ่นทำเครื่องหมายของพีซี (คำพูดของหนึ่งในสองรายการจะต้องแตกต่างกันในตัวอักษรตัวแรก) อยู่ใน [1]NPNP\mathrm{NP}PSPACEPSPACE\mathrm{PSPACE} รุ่นที่ถูก จำกัด เหล่านี้ถูกใช้เพื่อพิสูจน์ผลลัพธ์ที่ซับซ้อนของปัญหาอื่น ๆ (ผ่านการลดขนาด) หรือไม่ มี PCP รุ่นที่ จำกัด อื่น ๆ ที่ทำให้สามารถตัดสินใจได้ (และโดยเฉพาะ - สมบูรณ์)?PSPACEPSPACE\mathrm{PSPACE} [1] " PCP ที่ทำเครื่องหมายไว้สามารถใช้งานได้ " โดย V. Halava, M. Hirvensalo, R. De Wolf (1999)

13 complexity-theory  computability  reference-request 

มีปัญหาที่ได้รับความนิยม[1] [2]ในวิทยาการคอมพิวเตอร์ที่กำลังค้นหาจำนวนเส้นตรงขั้นต่ำที่ครอบคลุมชุดของจุดใน 2D แม้ว่าฉันจะสแกนเอกสารจำนวนมาก แต่ก็ไม่มีใครมีแรงจูงใจที่ชัดเจนสำหรับปัญหานี้ การใช้การแก้ไขปัญหานี้คืออะไร? มีกระดาษที่อธิบายเรื่องนี้หรือไม่?

12 reference-request  computational-geometry  applied-theory 

ในแง่ของ runtime แบบ asymptotic ที่เลวร้ายที่สุดปัญหา NP-complete ใดที่มีอัลกอริทึม (แน่นอน) ที่รู้จักกันเร็วที่สุดและอัลกอริทึมคืออะไร มีบางสิ่งที่รู้ไหมว่าเร็วกว่า ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

ฉันกำลังพยายามที่จะแก้ปัญหา SAT ข้อ 25k 5k เนื่องจากมันทำงานมาเป็นเวลาหนึ่งชั่วโมง (precosat) และฉันต้องการแก้ปัญหาที่ใหญ่กว่าหลังจากนั้นฉันกำลังมองหา SAT-Solver แบบมัลติคอร์ ดูเหมือนว่าจะมี SAT-Solvers หลายคนฉันจึงค่อนข้างแพ้ ใครช่วยชี้ให้ฉันดีที่สุดสำหรับกรณีของฉัน ฉันก็จะมีความสุขถ้ามีคนให้เวลาฉันโดยประมาณ (ถ้าเป็นไปได้)

12 algorithms  reference-request  parallel-computing  sat-solvers 

ฉันไม่รู้ว่ามันเป็นเรื่องตลกหรือไม่ แต่เมื่อฉันอ่านสิ่งที่เรียกว่าคำจำกัดความที่เป็นทางการของไฟล์ในระบบการกำหนดเวอร์ชันเช่น git, hg หรือ svn มันเป็นอะไรบางอย่างที่เหมือนกับวัตถุทางคณิตศาสตร์เช่นโฮมมอร์ฟิซึม นั่นเป็นเรื่องตลกหรือมีทฤษฎีวิทยาศาสตร์คอมพิวเตอร์จริงๆเกี่ยวกับระบบการควบคุมเวอร์ชันและคณิตศาสตร์ของ VCS หรือไม่?

12 terminology  reference-request 

ฉันสงสัยว่าอะไรคือความซับซ้อนของเวลาในการพิจารณาความว่างเปล่าสำหรับ DFA แบบ 2 ทาง? นั่นคือออโต้ จำกัด ซึ่งสามารถเลื่อนไปด้านหลังบนเทปอินพุตแบบอ่านอย่างเดียว จากข้อมูลของ Wikipedia พวกเขาเทียบเท่ากับ DFAs แม้ว่า DFA ที่เทียบเท่ากันนั้นอาจมีขนาดใหญ่ขึ้นแทน ฉันพบความซับซ้อนของรัฐสำหรับการเติมเต็มและจุดตัดของพวกเขา แต่ไม่ใช่สำหรับการทดสอบความว่างเปล่า มีใครรู้บ้างเกี่ยวกับกระดาษที่ฉันสามารถหาสิ่งนี้ได้?

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

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

11 reference-request  programming-languages  semantics  model-checking 

ฉันสงสัยว่าหากมีปัญหาเกี่ยวกับปัญหาซึ่งเป็นพหุนาม "โดยเฉลี่ย" ฉันคิดว่ามีสองวิธีในการตีความสิ่งนี้ยังไม่มีข้อความPยังไม่มีข้อความPNP ถ้าจะมีอัลกอริทึมในการแก้ปัญหาปัญหาเกี่ยวกับค่าเสื่อมราคา (กรณีเฉลี่ย) เวลาทำงานของสำหรับค่าคงที่หรือไม่?N P O ( n k ) kP≠ NPP≠ยังไม่มีข้อความPP \neq NPยังไม่มีข้อความPยังไม่มีข้อความPNPO ( nk)O(nk)O(n^k)kkk มีปัญหาใดบ้างที่ -hard ซึ่งอยู่ในหรือแม้แต่ ?B P P P Pยังไม่มีข้อความPยังไม่มีข้อความPNPBPPBPPBPPPPPPPP ใครสามารถตอบหรือให้การอ้างอิงตอบคำถามอย่างใดอย่างหนึ่งเหล่านี้

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

คุณสามารถให้คำแนะนำบางอย่างเกี่ยวกับหนังสือแนะนำเบื้องต้น (แต่ครอบคลุม) เกี่ยวกับตรรกะและการคำนวณได้ไหม บางหัวข้อคลุมเครือที่ฉันมีอยู่ในใจคือ: Presburger artihm., PA, ZF, ZFC, HOL ทฤษฎีเซต, ทฤษฎีประเภท การคำนวณแบบจำลอง (เครื่องจักรทัวริง) ในทฤษฎีต่าง ๆ ลิงก์ที่มีความซับซ้อนในการคำนวณ (FMT, ความซับซ้อนเชิงพรรณนา)

11 reference-request  logic  books 

จากบทความของ Wikipedia เกี่ยวกับแผนการประมาณเวลาพหุนาม : ปัญหาทั้งหมดใน FPTAS สามารถแก้ไขได้ซึ่งสามารถเลือกพารามิเตอร์ได้ ผลลัพธ์นี้ทำให้ฉันประหลาดใจ - ชั้นเรียนเหล่านี้ดูเหมือนจะแตกต่างจากที่อื่นอย่างสิ้นเชิง FPTAS อธิบายลักษณะปัญหาโดยการประมาณโดยง่ายขณะที่ FPT อธิบายลักษณะปัญหาด้วยความยากลำบากเมื่อเทียบกับพารามิเตอร์บางตัว น่าเสียดายที่ Wikipedia (ตามเวลาที่ฉันถามคำถามนี้) ไม่ได้ให้การอ้างอิงสำหรับเรื่องนี้ มีหลักฐานมาตรฐานของผลลัพธ์นี้หรือไม่? หรือมีแหล่งที่ฉันสามารถปรึกษาเพื่อเรียนรู้เพิ่มเติมเกี่ยวกับการเชื่อมต่อนี้หรือไม่

11 complexity-theory  reference-request  approximation  parameterized-complexity 

ได้รับงานJ 1 , J 2 , . . , J n , แต่ละงานต้องใช้T i > 0 , T i ∈ Nเวลาให้เสร็จสมบูรณ์nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N แต่ละงานจะต้องได้รับการประมวลผลล่วงหน้าและประมวลผลภายหลังโดยเครื่องเดียว M ที่สามารถจัดการงานได้ครั้งละ 1 งานเท่านั้นและเฟสทั้งสองต้องใช้เวลา 1 หน่วย หลังจากประมวลผลล่วงหน้าแล้วงานจะถูกส่งไปยังเครื่องที่มีกำลังไฟไม่ จำกัด (ที่สามารถจัดการกับงานได้ไม่ จำกัด จำนวน) และมันจะพร้อมในเวลาT iจากนั้นจะต้องส่ง ( ทันที ) ไปยังเครื่อง M อีกครั้งสำหรับการประมวลผลภายหลังJiJiJ_iTiTiT_i ปัญหาการตัดสินใจที่เกี่ยวข้องคือ: อินพุต:เวลาในการประมวลผลของงานN , จำนวนเต็มK …

11 complexity-theory  reference-request  scheduling