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

ใดระนาบตามลำดับouterplanar กราฟ ความพึงพอใจ , ตามลำดับสำหรับทุก subgraphของG นอกจากนี้กราฟด้านนอก (ด้านนอก) สามารถรับรู้ได้ในเวลาพหุนาม| E ′ | ≤ 3 | V ′ | - 6 | E ′ | ≤ 2 | V ′ | - 3 G ′ = ( V ′ , E ′ ) GG = ( V, E)G=(V,E)G=(V,E)| E'| ≤ 3 …

16 reference-request  graph-theory  graph-algorithms 

ฉันสงสัยว่ามีเอกสารหรืองานวิจัยที่เกี่ยวข้องกับออโตมาตะแบบกดลงอย่างเห็นได้ชัดหรือไม่ แต่การอนุญาตให้ใช้คำแทนที่จะเป็นตัวอักษรเดียว อีกวิธีหนึ่งคือการก่อสร้างที่ได้รับอนุญาตสำหรับสัญลักษณ์ที่จะผลักดันใน -transitions สามารถบรรลุเป้าหมายเดียวกันϵϵ\epsilon เห็นได้ชัดว่ารูปแบบดังกล่าวสามารถเกิดขึ้นได้ แต่ฉันสงสัยว่ามันจะทำลายคุณสมบัติการปิดและการถอดรหัสที่ทำให้ VPA น่าสนใจหรือไม่ ฉันกำลังดูสิ่งก่อสร้างที่ใช้สแต็คเป็นตัวนับเพิ่มโดยค่าคงที่ตามสัญลักษณ์เริ่มต้นที่อ่านแล้วนับถอยหลังตามสัญลักษณ์อื่นที่อ่าน สำหรับทุกคนที่ไม่ทราบออโตมาตาแบบกดลงอย่างเห็นได้ชัดนั้นเป็นตัวอักษรที่สามารถแบ่งออกเป็นสัญลักษณ์แบบพุชสัญลักษณ์แบบผุดและสัญลักษณ์ที่ไม่มีผลต่อสแต็กเลย ตัวเลือกในการกดและ popping จะถูกกำหนดทั้งหมดโดยสัญลักษณ์ปัจจุบันที่กำลังอ่าน พวกมันถูกปิดใต้ทางแยกสหภาพการต่อเรียงดาวและส่วนเติมเต็มทำให้พวกเขามีคุณสมบัติที่สามารถตัดสินใจได้ ดูกระดาษนี้สำหรับข้อมูลเพิ่มเติม

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

เป็นที่ทราบกันดีว่าใน System F คุณสามารถเข้ารหัสผลิตภัณฑ์ไบนารี่ได้ด้วยประเภท แล้วคุณสามารถกำหนดฟังก์ชั่นการฉาย\ pi_1: A \ ครั้ง B \ เป็น Aและ\ pi_2: A \ B ครั้ง \ to B× B ≜ ∀ อัลฟ่า( A → B → α ) → αA×B≜∀α.(A→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π 2 : A × …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

ในขณะที่อ่านบล็อกของ Dick Lipton ฉันพบความจริงต่อไปนี้ใกล้ถึงจุดจบของBourne Factorของเขา: ถ้าสำหรับทุกมีความสัมพันธ์ของแบบฟอร์ม ( 2 n ) อยู่! = m - 1 ∑ k = 0 a k b c k k โดยที่m = p o l y ( n )และแต่ละa k , b kและc kเป็นp o l y ( n )ในความยาวบิตจากนั้น แฟคตอริ่งมีวงจรขนาดพหุนามnnn(2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

เมื่อพิจารณากราฟที่ไม่ระบุทิศทางnnnจุดยอดรันไทม์ที่รู้จักกันดีที่สุดสำหรับการค้นหากราฟย่อยซึ่งเป็นk×kk×kk\times k -biclique คืออะไร? จะมีขั้นตอนวิธีการ parametrized เร็วกว่า อัลกอริทึมเวลาของการ "คาดเดา" อีกด้านหนึ่งของ biclique และดูว่ามีอย่างน้อยเหตุการณ์ที่เกิดขึ้นจุดอื่น ๆ ทั้งหมดของพวกเขา?(nk)poly(n)(nk)poly(n)\binom{n}{k}\mbox{poly}(n)kkk

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

บทความต่อไปนี้เผยแพร่สู่สาธารณะหรือไม่ ดาน่าสกอตต์ 1969 ทฤษฎีของฟังก์ชันคำนวณจากประเภทที่สูงขึ้น เอกสารสัมมนาไม่ได้เผยแพร่ 7 หน้า University of Oxford มีการอภิปรายของบทความนี้ในหัวข้อ 8.1.2 ประเภทตามที่กำหนดไว้ใน Cardone & Hindley, 2006 ประวัติศาสตร์แลมบ์ดา - แคลคูลัสและ Combinatory Logic ; นอกจากนี้ในส่วนที่ 10.1 ทฤษฎีโดเมนร่องรอยกลับไปที่ต้นฉบับนี้มีข้อมูลเชิงลึกเชิงทฤษฎีที่สำคัญบางประการ

16 reference-request  lo.logic  type-theory  domain-theory 

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

16 ds.algorithms  reference-request  graph-algorithms  terminology 

เป็นที่ทราบกันดีว่าสุ่มสูตร -CNF กว่าตัวแปรกับข้อมี unsatisfiable (เช่นพวกเขาจะมีความขัดแย้ง) มีโอกาสสูงสำหรับการคงขนาดใหญ่พอคดังนั้นสูตร -CNF แบบสุ่ม(สำหรับมีขนาดใหญ่พอ) ประกอบด้วยการแจกแจงตามธรรมชาติสำหรับสูตรบูลีนที่ไม่น่าพอใจ (หรือ dually, เกินกว่า tautologies การกระจายนี้ได้รับการศึกษาอย่างกว้างขวางkk k nn n คnคn cn คค c kk k คค c คำถามของฉันมีดังต่อไปนี้ : มีการแจกแจงที่สร้างขึ้นอื่น ๆ เกี่ยวกับ tautologies หรือความขัดแย้งเชิงประพจน์ซึ่งถือได้ว่าเป็นการจับ "ค่าเฉลี่ยรายกรณี" ของ tautologies หรือสูตรที่ไม่น่าพอใจหรือไม่? การแจกแจงเหล่านี้ได้รับการศึกษาอย่างเข้มข้นหรือไม่?

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

รับคะแนนในR dและเป็นระยะทางต่อลิตรพบว่าส่วนย่อยที่ใหญ่ที่สุดของจุดเหล่านี้เช่นว่าระยะห่าง Euclidian ไม่มีสองของพวกเขาเกินลิตรp1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll ความซับซ้อนของปัญหานี้คืออะไร? ในกราฟเหนือจุดที่มีขอบเมื่อใดก็ตามที่ระยะทางของจุดสองจุดมากที่สุดปัญหาจะเทียบเท่ากับการค้นหากลุ่มสูงสุด การสนทนาอาจไม่สามารถทำได้เนื่องจากไม่ใช่ทุกกราฟที่สามารถรับได้ด้วยวิธีนี้ (ตัวอย่างคือดาวK 1 , 7สำหรับd = 2 ) ดังนั้นคำถามที่เกี่ยวข้องคือ: สิ่งที่เป็นที่รู้จักเกี่ยวกับกราฟของชั้นนี้?lllK1,7K1,7K_{1,7}d=2d=2d=2

16 ds.algorithms  reference-request  cg.comp-geom 

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

16 reference-request  cr.crypto-security 

กราฟที่ไม่มี X คือกราฟที่ไม่มีกราฟจาก X เป็นกราฟย่อยที่เหนี่ยวนำ หลุมเป็นวงจรที่มีอย่างน้อย 4 จุด แปลกหลุมเป็นหลุมเป็นเลขคี่ของจุด antiholeเป็นส่วนประกอบของหลุม กราฟอิสระ (คี่รู, คี่แอนตี้หลุม) เป็นกราฟที่สมบูรณ์แบบได้อย่างแม่นยำ นี่คือทฤษฎีกราฟที่สมบูรณ์แบบที่สุด มันเป็นไปได้ที่จะหาชุดอิสระรายใหญ่ที่สุด(และคณะที่ใหญ่ที่สุด)ในกราฟที่สมบูรณ์แบบในเวลาพหุนาม แต่วิธีการที่รู้จักกันเท่านั้นของการทำเช่นต้องสร้างโปรแกรมกึ่งชัดเจนต่อการคำนวณจำนวน theta Lovász กราฟที่ไม่มีรู (antihole) ฟรีจะเรียกว่าคอร์ดอ่อนๆ และเป็นคลาสที่ค่อนข้างง่ายสำหรับปัญหาต่าง ๆ (รวมถึงชุดอิสระและ CLIQUE ) ไม่มีใครรู้ว่ากราฟ (คี่รู antihole) - ฟรีมีการศึกษาหรือเขียนเกี่ยวกับ? กราฟเหล่านี้เกิดขึ้นตามธรรมชาติในปัญหาความพึงพอใจของข้อ จำกัด ที่กราฟของตัวแปรที่เกี่ยวข้องก่อตัวเป็นต้นไม้ ปัญหาดังกล่าวค่อนข้างง่ายดังนั้นจึงเป็นการดีถ้ามีวิธีการค้นหากลุ่มชุดอิสระที่ ใหญ่ที่สุดสำหรับกราฟในครอบครัวนี้โดยไม่ต้องคำนวณLovász theta เท่ากับหนึ่งต้องการค้นหาชุดอิสระที่ใหญ่ที่สุดสำหรับ (ฟรี) เซียน - ชีห์ช้างชี้ให้เห็นด้านล่างว่าทำไมนี่จึงเป็นคลาสที่น่าสนใจยิ่งกว่าสำหรับกราฟอิสระ (กราฟคี่รู antihole) - ฟรี

16 reference-request  graph-theory  co.combinatorics  graph-classes 

ในขณะที่พื้นที่ของเอกสารใน ACM วารสารในการทดลองขั้นตอนที่JEA ฐานรากทำงานอะไร ผลลัพธ์หลักคืออะไร พวกเขามีลักษณะอย่างไร การเชื่อมต่อที่น่าสนใจกับสาขาวิทยาศาสตร์คอมพิวเตอร์อื่น ๆ ?

16 ds.algorithms  reference-request  experimental 

ฉันควรอ่านอะไรเพื่อทำความเข้าใจปัญหานี้ B Q P= B PPB Q NคBQP=BPPBQยังไม่มีข้อความคBQP = BPP^{BQNC}B Q PBQPBQPB PPB Q NคBPPBQยังไม่มีข้อความคBPP^{BQNC}แต่คำถามคือว่ามีฟังก์ชั่นที่เป็นรูปธรรมใด ๆ --Scott Aaronson http://www.scottaaronson.com/writings/qchallenge.html

16 cc.complexity-theory  reference-request  quantum-computing 

ฉันหาหนังสือบางเล่มเกี่ยวกับคอมพิวเตอร์ แต่ทั้งหมดเกี่ยวกับเทคโนโลยี ฉันต้องการบางสิ่งที่เชื่อมโยงกับทฤษฎีมากขึ้น

15 reference-request  soft-question  philosophy 

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

15 reference-request  soft-question  books