วิทยาศาสตร์คอมพิวเตอร์

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

15 complexity-theory  np 

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

15 programming-languages 

สมมติว่าคุณมีอาร์เรย์ที่มีขนาดที่มีจำนวนเต็มตั้งแต่ถึงโดยรวมโดยมีการซ้ำห้าครั้ง ฉันต้องการที่จะนำเสนอขั้นตอนวิธีการที่สามารถหาตัวเลขที่ซ้ำในเวลา ฉันไม่สามารถคิดในสิ่งใดได้ตลอดชีวิตของฉัน ฉันคิดว่าการเรียงลำดับที่ดีที่สุดจะเป็นหรือไม่ จากนั้นภายในอาร์เรย์จะเป็นส่งผลให้ในlog) อย่างไรก็ตามฉันไม่แน่ใจว่าการเรียงลำดับจะมีความจำเป็นหรือไม่เนื่องจากฉันได้เห็นบางสิ่งที่ยุ่งยากด้วยรายการลิงก์คิวสแต็ก ฯลฯ1 n - 5 O ( n ) O ( n log n ) O ( n ) O ( n 2ล็อกn )n≥6n≥6n \geq 6111n−5n−5n − 5O(n)O(n)O(n)O(nlogn)O(nlog⁡n)O(n\log n)O(n)O(n)O(n)O(n2logn)O(n2log⁡n)O(n^2\log n)

15 algorithms  arrays  searching 

อย่างน้อยใน Java ถ้าฉันเขียนรหัสนี้: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; ค่าของจะฉลิตรsอี ฉันเชื่อว่าสิ่งนี้เกิดจากข้อเท็จจริงที่ว่าการลอยตัวนั้นมีข้อ จำกัด อย่างมากในการแสดงตัวเลขอย่างแม่นยำ แต่ฉันไม่เข้าใจว่าทำไมแค่การเปลี่ยนตำแหน่งของaอาจทำให้ความไม่เท่าเทียมนี้เกิดขึ้นeeefalsefalsefalseaaa ฉันลด s เป็นหนึ่งในทั้งบรรทัด 3 และ 4 ดังด้านล่างค่าของeอย่างไรก็ตามกลายเป็นt r u e :bbbeeetruetruetrue float …

15 arithmetic  floating-point  numerical-algorithms 

ฉันอ่านคำถามที่ Stack Overflow ถามว่ามันเป็นNP -hard หรือไม่ที่จะเขียนรายการวงจรที่เรียบง่ายทั้งหมดในกราฟที่มีโหนดหนึ่งและมันเกิดขึ้นกับฉันว่าฉันไม่สามารถนึกถึงความซับซ้อนที่มีอยู่ในปัจจุบันที่เหมาะสำหรับ พูดคุยเกี่ยวกับปัญหาของแบบฟอร์ม "แสดงวิธีแก้ไขปัญหาทั้งหมด" คลาสNPในแง่หนึ่งประกอบด้วยปัญหาที่ถามว่ามีวิธีแก้ปัญหาอย่างน้อยหนึ่งรายการหรือไม่คลาสFNPขอให้สร้างโซลูชันเดียวและคลาส# Pขอให้นับจำนวนวิธีแก้ปัญหาที่มี แต่ยังไม่มีการจัดการที่ซับซ้อนเหล่านี้ ของการแจกแจงโซลูชันที่เป็นไปได้ทั้งหมดอย่างละเอียดถี่ถ้วน มีคลาสที่ซับซ้อนสำหรับการอธิบายปัญหาที่อยู่ในรูปแบบ "กำหนดพหุนามคำนวณเวลาและสตริงx , แจกแจงทั้งหมดyที่P ( x , y )เป็นเรื่องจริง [แทรกบางอย่าง ข้อ จำกัด ด้านความซับซ้อนที่เหมาะสม]? " ฉันเข้าใจว่าอาจเป็นเรื่องยากที่จะกำหนดข้อ จำกัด เนื่องจากจำนวนโซลูชันอาจมีขนาดใหญ่กว่าขนาดของอินพุทxแทนแบบเลขชี้กำลังแม้ว่ามันจะดูไม่ผ่านไม่ได้P(x,y)P(x,y)P(x, y)xxxyyyP(x,y)P(x,y)P(x, y)xxx

15 complexity-theory  reference-request  complexity-classes  enumeration 

ฉันเป็นนักเรียนระดับวิทยาศาสตร์คอมพิวเตอร์ที่มีความหลงใหลในการเรียนวิชาคณิตศาสตร์เป็นอย่างมาก ฉันมีความเชื่ออย่างแน่วแน่ว่าวิทยาศาสตร์คอมพิวเตอร์หรือทฤษฎีวิทยาการคอมพิวเตอร์เป็นสาขาวิชาคณิตศาสตร์และตรรกศาสตร์โดยตรงและยังมีความเห็นว่าการศึกษาระดับปริญญาวิทยาการคอมพิวเตอร์นั้นมักจะต้องเน้นคณิตศาสตร์เป็นเรื่องจริง โปรดแก้ไขฉันหากฉันผิด ผมตรงไปตรงมารู้สึกว่ามีไม่มากของความแตกต่างใน 2 วิชาที่จะตรงไปตรงทุก"คำนวณ"เกี่ยวข้องกับ"คำนวณ"แม้ว่าทุก"คำนวณ"อาจจะไม่"คำนวณ" โปรดให้ข้อมูลและหลักฐานที่สำคัญอีกครั้งและอัปเดตฉันหากฉันเข้าใจผิดที่นี่ ขอขอบคุณ

15 mathematical-foundations 

ในกระดาษของ Philip Wadler เกี่ยวกับทฤษฎีบทฟรีเขากล่าวในหัวข้อที่ 2 เกี่ยวกับ Parametricity ว่า ไม่มีโมเดลเชิงทฤษฎีที่ไร้เดียงสาของแคลคูลัส polymorphic แลมบ์ดา ในรูปแบบโมเดลซื่อๆทางทฤษฎีคือเซตและฟังก์ชันเป็นฟังก์ชันเซตทฤษฎีซึ่งดูเหมือนสมเหตุสมผล แล้วทำไมเขาถึงบอกว่าไม่มีโมเดลแคลคูลัสเชิงพหุนามของแลมบ์ดา polymorphic ไร้เดียงสา?

15 functional-programming 

สมมติว่ามีรายการที่เปรียบเทียบได้สองรายการ: u และ s ให้ INV (u) เป็นจำนวนผู้รุกรานใน u ฉันกำลังมองหาอัลกอริทึมที่มีประสิทธิภาพเพื่อแทรกรายการของ s ลงใน u ด้วยการเพิ่มขึ้นเล็กน้อยของ INV (u) โดยทั่วไปฉันต้องการแทรกวัตถุลงในรายการในขณะที่รักษา "เรียงเป็นที่สุด" ในขณะที่รักษาลำดับของรายการแรก ตัวอย่าง: u = [4,6,2,9,7] INV(u) = 3 ((4, 2), (6, 2) and (9, 7) s = [8,3,10] one optimal solution u' = [3, 4, 6, 2, 8, 9, 7, 10] INV(u') …

15 algorithms  sorting 

ฉันคุ้นเคยกับ Dijkstra มากและมีคำถามเฉพาะเกี่ยวกับอัลกอริทึม หากฉันมีกราฟขนาดใหญ่เช่น 3.5 พันโหนด (ข้อมูล OpenStreetMap ทั้งหมด) จากนั้นฉันจะไม่สามารถมีกราฟในหน่วยความจำได้อย่างชัดเจนดังนั้นกราฟจะถูกเก็บไว้ในดิสก์ในฐานข้อมูล มีห้องสมุดสำหรับคำนวณเส้นทางที่สั้นที่สุดบนกราฟดังกล่าว พวกเขาทำเช่นนี้ได้อย่างไร โดยเฉพาะพวกเขาจะโหลดส่วนที่ต้องการของกราฟเพื่อเรียกใช้อัลกอริทึมของ Dijkstra ได้อย่างไร การดึงรายการ adjacency ของแต่ละจุดสุดยอดที่เข้าชมจะต้องใช้ฐานข้อมูล 1,500 แบบสอบถามต่อ 10,000 โหนดตามข้อมูลสถิติของฉันดังนั้นจึงไม่ใช่วิธีการที่ชัดเจน นั่นจะช้าเกินไป พวกเขาทำมันได้อย่างไร? ฉันพยายามที่จะใช้มันด้วยตัวเอง

15 algorithms  graph-theory  graphs  shortest-path 

Let\} ภาษาจะกล่าวว่ามีคุณสมบัติ "ป้องกัน palindrome" ถ้าสตริงทุกที่เป็น palindrome ที่L นอกจากนี้สำหรับสตริงทุกตัวที่ไม่ใช่ palindrome ไม่ว่าจะเป็นหรือแต่ไม่ใช่ทั้งสองอย่าง (!) (พิเศษหรือ)L ⊆ Σ * W W ∉ L ยูยู∈ L R อีวีอีอาร์เอสอี ( U ) ∈ LΣ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \}L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* wwww∉Lw∉Lw\notin Luuuu∈Lu∈Lu\in LReverse(u)∈LReverse(u)∈L\mathrm{Reverse}(u) \in L ฉันเข้าใจคุณสมบัติต่อต้าน palindrome แต่ฉันไม่พบภาษาใด ๆ ที่มีคุณสมบัตินี้ ที่ใกล้เคียงที่สุดที่ฉันสามารถหาเป็นแต่มันไม่ได้มี แต่เพียงผู้เดียวหรือบางส่วน ... ที่เป็นเช่นทั้งและอยู่ในL01 10 …

15 formal-languages 

ในหนังสือข้อความของฉันมีการกล่าวถึงว่า:โดยที่เป็นภาษาที่ว่างเปล่า∅∅∗={ϵ}∅* * * *={ε}\emptyset^*=\{\epsilon\}∅∅\emptyset อย่างไรก็ตามเรารู้ว่าโดยที่เป็นภาษาใด ๆLL⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL ผมไม่สามารถสังหรณ์ใจเข้าใจแนวคิดนี้เพราะ Kleene จุดดำเนินการดาวที่มีต่อความจริงที่ว่า\∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots แล้วทำไมไม่เท่ากับ ? ∅∅∗∅∗\emptyset^*∅∅\emptyset

15 formal-languages  kleene-star 

ฤดูใบไม้ร่วงที่แล้วฉันไปดูซูเปอร์คอมพิวเตอร์ Blue Waters ที่มหาวิทยาลัยอิลลินอยส์ ฉันถามว่าใครเคยใช้คอมพิวเตอร์ทั้งเครื่องหรือไม่ ฉันได้รับการบอกว่ามันทำงานได้หลายโครงการเสมอ นั่นทำให้ฉันประหลาดใจเกี่ยวกับประโยชน์ของซูเปอร์คอมพิวเตอร์ บางที Blue Waters นั้นผิดปกติที่ต้องมีการแบ่งปันโดยอุตสาหกรรมและมหาวิทยาลัย - ฉันไม่รู้ ฉันคิดว่ามีค่าใช้จ่ายในการจัดการโปรเซสเซอร์และหน่วยความจำของซูเปอร์คอมพิวเตอร์เครื่องเดียว การสร้างคอมพิวเตอร์ขนาดเล็กจะคุ้มค่าหรือไม่ ใครช่วยให้ฉันเข้าใจถึงคุณค่าของซุปเปอร์คอมพิวเตอร์ หรือว่าบางครั้งพวกเขาทุ่มเทให้กับโครงการเดียว

15 computer-architecture 

เป็นไปได้ที่จะแยกวิเคราะห์เอกสารโดยใช้ผ่านเดียวจากเครื่องรัฐ ประโยชน์ของการมีสองรอบคืออะไร มี lexer เพื่อแปลงข้อความเป็นโทเค็นและมีเครื่องมือแยกวิเคราะห์เพื่อทดสอบกฎการผลิตของโทเค็นเหล่านั้นหรือไม่ ทำไมไม่มีบัตรผ่านเดียวที่ใช้กฎการผลิตโดยตรงกับข้อความ

15 compilers  parsers 

สิ่งที่ไม่logO(1)nlogO(1)⁡n\log^{O(1)}nหมายถึง? ฉันตระหนักถึงสัญกรณ์ใหญ่ ๆ แต่สัญกรณ์นี้ไม่สมเหตุสมผลสำหรับฉัน ฉันไม่สามารถหาข้อมูลเกี่ยวกับมันได้เนื่องจากไม่มีเครื่องมือค้นหาตีความอย่างถูกต้อง สำหรับบิตของบริบทประโยคที่ผมพบว่ามันอ่าน "[ ... ] เราเรียกฟังก์ชั่น [ประสิทธิภาพ] ถ้าจะใช้พื้นที่และที่มากที่สุดเวลาเข้าสู่ระบบO ( 1 ) nต่อรายการ."O(logn)O(log⁡n)O(\log n)logO(1)nlogO(1)⁡n\log^{O(1)}n

15 asymptotics  landau-notation 

ปริศนา "ไหลฟรี" ประกอบด้วยจำนวนเต็มบวกและชุดของ (ไม่เรียงลำดับ) คู่ของจุดที่แตกต่างกันในส่วนn × nกราฟตารางเช่นกันว่าจุดสุดยอดอยู่ในที่มากที่สุดคู่หนึ่ง คำตอบสำหรับปริศนาดังกล่าวคือชุดของเส้นทางที่ไม่ได้บอกทิศทางในกราฟเช่นว่าจุดยอดแต่ละจุดอยู่ในเส้นทางเดียวและชุดปลายของแต่ละเส้นทางเป็นหนึ่งในคู่ของจุดยอดของปริศนา ภาพนี้เป็นตัวอย่างของจิ๊กซอว์ Flow Free และภาพนี้เป็นตัวอย่างของวิธีแก้ปริศนาจิ๊กซอว์ Flow Free อื่นnnnn×nn×nn \times n ปัญหา "มีทางออกสำหรับปริศนาตัวต่อการไหลฟรีนี้หรือไม่" NP-ยาก? มันไม่สำคัญว่าจะได้รับในเอกภาพหรือไบนารี?nnn

15 np-hard  square-grid