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

ผมเคยถามคำถามที่คล้ายกันใน cstheory.SE ตามคำตอบเกี่ยวกับเรื่องนี้ Stackoverflowมีขั้นตอนวิธีว่าในวันที่ไม่ได้ขี้เกียจบริสุทธิ์ภาษาเขียนโปรแกรมการทำงานมีความซับซ้อนในขณะที่วิธีเดียวกันในการเขียนโปรแกรมที่จำเป็นคือΩ ( n ) เพิ่ม lazyness ภาษา FP จะทำให้ขั้นตอนวิธีΩ ( n )Ω ( n บันทึกn )Ω(nlog⁡n)\Omega(n \log n)Ω ( n )Ω(n)\Omega(n)Ω ( n )Ω(n)\Omega(n) มีความสัมพันธ์ที่เท่าเทียมกันเปรียบเทียบภาษา FP กับและไม่มีฟังก์ชั่นการสั่งซื้อที่สูงขึ้นหรือไม่ ทัวริงยังสมบูรณ์อยู่หรือไม่? ถ้าเป็นเช่นนั้นการขาดลำดับที่สูงขึ้นของ FP จะทำให้ภาษามีประสิทธิภาพน้อยลงหรือมีประสิทธิภาพหรือไม่

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

พิจารณารุ่นต่อไปนี้ปัญหาก๊กที่ใส่เป็นขนาดและเรากำลังขอให้พบก๊กขนาดkข้อ จำกัด คือโพรซีเดอร์การตัดสินใจไม่สามารถเปลี่ยนกราฟอินพุตเป็นการนำเสนออื่นและไม่สามารถใช้การแทนอื่นเพื่อคำนวณคำตอบของมันนอกเหนือจากบิตพิเศษนอกเหนือจากกราฟอินพุต บิตพิเศษสามารถใช้ตัวอย่างในอัลกอริทึม brute-force เพื่อติดตามสถานะของการค้นหากลุ่มที่ละเอียดถี่ถ้วน แต่ขั้นตอนการตัดสินใจนั้นยินดีต้อนรับให้ใช้มันในวิธีอื่นที่ยังคงตัดสินใจปัญหาnnnkkklog(nk)log⁡(nk)\log(n^k) มีสิ่งใดที่ทราบถึงจุดนี้เกี่ยวกับความซับซ้อนของสิ่งนี้? มีงานใดที่ทำกับข้อ จำกัด อื่น ๆ ของ Clique และถ้าเป็นเช่นนั้นคุณช่วยชี้แนะให้ฉันทำงานดังกล่าวได้ไหม?

13 complexity-theory  time-complexity 

ฉันรักความช่วยเหลือของคุณด้วย: สำหรับL 2 ที่มีการแก้ไขใด ๆฉันต้องตัดสินใจว่าจะมีการปิดภายใต้ตัวดำเนินการต่อไปนี้หรือไม่:L2L2L_2 AR( L ) = { x ∣ ∃ y∈ ล2: x y∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} }Aล.( L ) = { x ∣ ∃ y∈ L : x y∈ ล2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in …

13 formal-languages  regular-languages  closure-properties 

สมมติว่าฉันกำลังให้สิทธิ์แก่กว้างคงจำนวนเต็ม (เช่นพวกเขาพอดีในการลงทะเบียนของความกว้าง )ดังกล่าวว่าผลรวมของพวกเขายังเหมาะในการลงทะเบียนของความกว้างWw a 1 , a 2 , … a n a 1 + a 2 + ⋯ + a n = S wnnnWwwa1,2, ...na1,a2,…ana_1, a_2, \dots a_na1+ a2+ ⋯ + an= Sa1+a2+⋯+an=Sa_1 + a_2 + \dots + a_n = SWww มันดูเหมือนว่าฉันว่าเราสามารถเปลี่ยนรูปตัวเลขเพื่อเช่นกันว่าผลรวมคำนำหน้ายังเหมาะในการลงทะเบียนของความกว้างWS i = b 1 + b 2 …

13 algorithms  arrays  integers  numerical-analysis 

เป็นภาษาปกติมากกว่าตัวอักษร Σ = { , ข } ความฉลาดทางด้านซ้ายของ Lเกี่ยวกับ W ∈ Σ *เป็นภาษา W - 1 L : = { วี| W วี∈ L }LLLΣ = { a , b }Σ={a,b}\Sigma = \{a,b\}LLLW ∈ Σ* * * *w∈Σ∗w \in \Sigma^*W- 1L : = { v ∣ w v ∈ L …

13 formal-languages  regular-languages  closure-properties 

ฉันสับสนเกี่ยวกับวิธีเลือกก๊อกสำหรับการลงทะเบียนการตอบรับเชิงเส้น ฉันมีแผนภาพซึ่งแสดงให้เห็น LFSR กับการเชื่อมต่อพหุนามเป็น 1 ห้าขั้นตอนจะมีป้ายกำกับ: R 4 , R 3 , R 2 , R 1และR 0และก๊อกน้ำออกมาจากR 0และR 3ค( X) = X5+ X2+ 1C(X)=X5+X2+1C(X) = X^5 + X^2 + 1R 4 , R 3 , R 2 , R 1R4,R3,R2,R1R4, R3, R2, R1R 0R0R0R 0R0R0R 3R3R3 ก๊อกเหล่านี้มีวิธีการตัดสินใจอย่างไร เมื่อฉันได้รับพหุนามการเชื่อมต่อ แต่ไม่มีไดอะแกรมฉันจะรู้ได้อย่างไรว่าควรใช้ค่า …

13 cryptography  pseudo-random-generators  shift-register 

ปัญหา 3-Partition ถามว่าชุดของจำนวนเต็มสามารถแบ่งพาร์ติชันออกเป็นnชุดของสามจำนวนเต็มได้หรือไม่ซึ่งแต่ละชุดจะรวมกันเป็นจำนวนเต็มB ที่กำหนด ปัญหาพาร์ทิชันที่สมดุลถามว่าจำนวนเต็ม2 nสามารถแบ่งพาร์ติชันออกเป็นสองชุดเท่ากันได้หรือไม่ซึ่งทั้งสองชุดมีผลรวมเท่ากัน ปัญหาทั้งสองเป็นที่รู้จักกันว่าเป็นปัญหาสมบูรณ์ อย่างไรก็ตาม 3-Partition นั้นสมบูรณ์แบบอย่างยิ่ง NP ฉันไม่ได้เห็นการลดลงของ 3-Partition เป็น Balanced Partition3 n3n3nnnnBBB2 n2n2n ฉันกำลังมองหาการลด (ง่าย) จาก 3-Partition เป็น Balanced Partition

13 complexity-theory  reductions  np-complete 

ฉันมักจะทำงานร่วมกับlexer / parsersซึ่งต่างจากผู้รวบรวม parser และเห็นคนที่ไม่เคยเรียนในการแยกวิเคราะห์ถามเกี่ยวกับการแยกวิเคราะห์ข้อมูลไบนารี โดยทั่วไปแล้วข้อมูลไม่เพียง แต่เป็นไบนารี แต่ยังคำนึงถึงบริบทด้วย โดยทั่วไปจะนำไปสู่การมีโทเค็นประเภทเดียวเท่านั้นโทเค็นสำหรับไบต์ บางคนสามารถอธิบายได้ว่าทำไมการแยกวิเคราะห์ข้อมูลไบนารีด้วย lexer / parser นั้นมีความชัดเจนเพียงพอสำหรับนักเรียน CS ที่ไม่ได้ทำการแยกวิเคราะห์ แต่มีพื้นฐานทางทฤษฎี

13 programming-languages  compilers  parsers 

ปัญหาการโพสต์ความสอดคล้อง (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 

พิจารณาโปรโตคอลต่อไปนี้ซึ่งหมายถึงการรับรองความถูกต้อง (Alice) ถึง (Bob) และในทางกลับกันAAABBB A→B:B→A:A→B:“I'm Alice”,RAE(RA,K)E(⟨RA+1,PA⟩,K)A→B:“I'm Alice”,RAB→A:E(RA,K)A→B:E(⟨RA+1,PA⟩,K) \begin{align*} A \to B: &\quad \text{“I'm Alice”}, R_A \\ B \to A: &\quad E(R_A, K) \\ A \to B: &\quad E(\langle R_A+1, P_A\rangle, K) \\ \end{align*} RRRคือ nonce สุ่ม KKKเป็นคีย์สมมาตรที่แชร์ล่วงหน้า PPPคือส่วนของข้อมูล E(m,K)E(m,K)E(m, K)หมายถึงเข้ารหัสด้วยKmmmKKK ⟨m1,m2⟩⟨m1,m2⟩\langle m_1, m_2\rangleหมายถึงประกอบกับในลักษณะที่สามารถถอดรหัสได้อย่างไม่น่าสงสัยm1m1m_1m2m2m_2 เราคิดว่าอัลกอริทึมการเข้ารหัสลับมีความปลอดภัยและดำเนินการอย่างถูกต้อง ผู้โจมตี (Trudy) ต้องการโน้มน้าวให้ Bob ยอมรับน้ำหนักบรรทุกของเธอว่ามาจาก …

13 cryptography  protocols  authentication 

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

13 operating-systems  os-kernel 

ให้เป็นส่วนหนึ่งออกแบบและเป็นฟังก์ชั่นบูลีน เครื่องกำเนิดไฟฟ้า Nisan-Wigdersonถูกกำหนดดังนี้: ( m , k ) f : { 0 , 1 } m → { 0 , 1 } G f : { 0 , 1 } l → { 0 , 1 } nS= { Sผม}1 ≤ ฉัน≤ nS={Si}1≤i≤n\cal{S}=\{S_i\}_{1\leq i\leq n}( m , k )(m,k)(m,k)ฉ: { …

13 cryptography  pseudo-random-generators 

เกมที่เล่นง่ายโดยเด็ก ๆ เกมแห่งสงครามเล่นโดยคนสองคนโดยใช้ไพ่มาตรฐาน 52 ใบ ในขั้นต้นดาดฟ้าจะถูกสับและไพ่ทั้งหมดจะได้รับการจัดการสองผู้เล่นเพื่อให้แต่ละคนมี 26 บัตรสุ่มในลำดับสุ่ม เราจะสมมติว่าผู้เล่นได้รับอนุญาตให้ตรวจสอบ (แต่ไม่เปลี่ยน) ทั้งสองเด็คเพื่อให้ผู้เล่นแต่ละคนรู้ไพ่และคำสั่งของไพ่ทั้งสองเด็ค โดยทั่วไปแล้วจะมีการจดบันทึกไว้ในทางปฏิบัติ แต่จะไม่เปลี่ยนแปลงอะไรเกี่ยวกับวิธีการเล่นเกมและช่วยรักษาคำถามรุ่นนี้ไว้อย่างสมบูรณ์ จากนั้นผู้เล่นจะเผยไพ่ที่ดีที่สุดจากเด็คตามลำดับ ผู้เล่นที่เปิดเผยไพ่ใบใหญ่กว่า (ตามคำสั่งปกติ: 2, 3, 4, 5, 6, 7, 8, 9, 10, แจ็ค, ราชินี, คิง, เอซ) ชนะการแข่งขันรอบแรกโดยวางไพ่ของเขา ไพ่สูง) ที่ด้านล่างของเด็คของเขาและจากนั้นการ์ดของคู่ต่อสู้ของเขา (การ์ดระดับต่ำ) ที่ด้านล่างของเด็ค (โดยทั่วไปคำสั่งของการ์ดใบนี้จะไม่ถูกบังคับใช้ แต่เพื่อให้รุ่นแรกของคำถามนี้กำหนดขึ้นเช่น การสั่งซื้อจะถูกบังคับใช้) ในกรณีที่เสมอกันผู้เล่นแต่ละคนจะเปิดเผยไพ่เพิ่มอีกสี่ใบจากด้านบนของเด็ค หากไพ่ใบที่สี่ที่แสดงโดยผู้เล่นคนหนึ่งสูงกว่าไพ่ใบที่สี่ที่แสดงโดยผู้เล่นคนอื่นผู้เล่นที่มีไพ่ใบที่สี่ที่สูงกว่าชนะไพ่ทั้งหมดที่เล่นในระหว่างไทเบรกเกอร์ซึ่งในกรณีนี้ไพ่ของผู้ชนะจะถูกวางไว้ที่ด้านล่าง ผู้ชนะของเด็ค (ในลำดับแรก, ออกก่อน, ในคำอื่น ๆ , การ์ดเก่าจะวางที่ด้านล่างก่อน), ตามด้วยไพ่ของผู้แพ้ (ในลำดับเดียวกัน) ในกรณีที่มีความสัมพันธ์ที่ตามมากระบวนการซ้ำแล้วซ้ำอีกจนกว่าผู้ชนะของการผูกจะถูกกำหนด หากผู้เล่นคนหนึ่งวิ่งออกมาจากไพ่และไม่สามารถทำลายการผูกผู้เล่นที่ยังคงมีไพ่จะประกาศผู้ชนะ …

13 algorithms  optimization 

ฉันต้องการที่จะสร้างแบบสุ่มสมบูรณ์ซูโดกุ กำหนดกริดซูโดกุเป็นกริดจำนวนเต็มระหว่าง1ถึง9ซึ่งองค์ประกอบบางอย่างสามารถละเว้นได้ กริดเป็นปริศนาที่ถูกต้องหากมีวิธีที่ไม่ซ้ำกันในการทำให้สมบูรณ์เพื่อให้ตรงกับข้อ จำกัด ของ Sudoku (แต่ละบรรทัด, คอลัมน์และจัดเรียง3 × 3สี่เหลี่ยมจัตุรัสไม่มีองค์ประกอบที่ซ้ำกัน) และมันมีค่าน้อยที่สุดในกรณีนั้น องค์ประกอบปริศนามีหลายวิธี)9×99×99\times91119993×33×33\times3 ฉันจะสร้างตัวต่อสุ่มซูโดะกุได้อย่างไรว่าตัวต่อซูโดกุทุกตัวนั้นสวมใส่ได้

13 algorithms  randomness  sudoku 

มีวิธีการแบบอัลกอริทึมในการระบุวันที่ที่ให้ไว้ในย่อหน้าที่สัมพันธ์กับเหตุการณ์ (วลี) ในย่อหน้าหรือไม่? ตัวอย่างพิจารณาย่อหน้าต่อไปนี้: ในเดือนมิถุนายนปี 1970 ผู้นำที่ยิ่งใหญ่ได้สาบาน แต่หลังจากเดือนพฤษภาคม 2515 โพสต์การตายของรัฐมนตรีต่างประเทศว่าเขาเข้ามากุมบังเหียนของประเทศ ในขณะที่เขาได้รับความนิยมจนถึงกลางปี ​​1980 อิทธิพลของเขาก็เริ่มลดลงหลังจากนั้น มีอัลกอริทึม (ที่กำหนดขึ้นหรือสุ่ม) # ที่สามารถสร้าง 2-tuple (วันที่, เหตุการณ์) ที่เหตุการณ์นั้นมีความหมายโดยนัยตามวรรคที่จะเกิดขึ้นในวันที่ ? ในกรณีข้างต้น: (มิถุนายน 2513 ผู้นำที่ยิ่งใหญ่สาบาน) (พฤษภาคม 1972, เข้ามากุมบังเหียน) หรือดีกว่าเลย (พฤษภาคม 1972 ผู้นำที่ยิ่งใหญ่เข้ามากุมบังเหียน) (1980 ตกอยู่ในอิทธิพล) นอกจากนี้ #Later

13 algorithms  data-mining  natural-language-processing