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

ปล่อยให้แสดงถึงชุดและ C (n, k) แสดงถึงชุดขององค์ประกอบทั้งหมด -combinations จากโดยไม่ต้องทำซ้ำ ให้p = p_1p_2 ... p_kเป็นk -tuple ในC (n, k) เราบอกว่าการเปลี่ยนแปลง \ pi: [n] \ rightarrow [n]ของเซต[n]หลีกเลี่ยงpหากไม่มี k-tuple ของจำนวนเต็มi_1 <i_2 <... <i_kเช่นนั้น \ pi (i_1) = p_1, \; \; \ pi (i_2) = p_2, \; \; ... , \; \; \ pi (i_k) = …

15 reference-request  co.combinatorics  permutations 

สิ่งนี้ถูกเขียนในรายการ wiki ของSymbolic Executionแต่ฉันไม่พบการอ้างอิงใด ๆ ทุกคนสามารถแสดงตัวชี้ให้ฉันได้หรือไม่ ขอขอบคุณ.

15 reference-request  lo.logic  program-analysis 

เป็นที่ทราบกันว่าการลดขนาดของการแสดงออกปกตินั้นเป็นสิ่งที่สมบูรณ์แบบของ PSPACE แม้ว่าเราจะมี DFA เป็นข้อกำหนดของภาษาก็ตาม ผลลัพธ์จะเป็นอย่างไรหากภาษามี จำกัด หนึ่งสามารถพิจารณาปัญหานี้ในสองรุ่น: อินพุตเป็นสตริงทั้งหมดในภาษาและเราวัดขนาดอินพุตด้วยผลรวมของความยาวของสตริงทั้งหมด อินพุตเป็น DFA และเราวัดขนาดอินพุตตามจำนวนสถานะของ DFA Kleene star ไม่มีประโยชน์ในกรณีที่มี จำกัด ดังนั้น , | และ⋅ (การต่อข้อมูล) ใช้ในนิพจน์ แน่นอนว่าความยาวของการแสดงออกปกติดูเหมือนจะไม่แน่นอน แต่เราสามารถให้น้ำหนักกับแต่ละการดำเนินการ (รวมถึงการเพิ่มวงเล็บ) และขอให้ลดน้ำหนักของนิพจน์ปกติ( )()()|||⋅⋅\cdot แก้ไข:ตามที่ระบุไว้ adrianN จะเกี่ยวข้องกับรหัสที่ใช้ไวยากรณ์ มันเป็น NP-complete ในการสร้างไวยากรณ์ฟรีบริบทความยาวต่ำสุดเพื่ออธิบายชุด จำกัด ยังไม่ชัดเจนว่าทำไมไวยากรณ์ฟรีขนาดบริบทขั้นต่ำสามารถบอกเป็นนัยเกี่ยวกับการแสดงออกปกติขนาดขั้นต่ำได้มาก บางทีกฎการเขียนใหม่ที่ฉลาดสามารถเชื่อมโยงสองสิ่งนี้เข้าด้วยกันและพิสูจน์ว่าในรุ่นแรกปัญหาอยู่ใน NP

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

แก้ไข:เนื่องจากฉันไม่ได้รับคำตอบ / ความคิดเห็นใด ๆ ในหนึ่งสัปดาห์ฉันต้องการเพิ่มว่าฉันมีความสุขที่ได้ยินอะไรเกี่ยวกับปัญหา ฉันไม่ได้ทำงานในพื้นที่ดังนั้นแม้ว่าจะเป็นเรื่องง่ายฉันอาจไม่รู้ แม้แต่ความคิดเห็นเช่น "ฉันทำงานในพื้นที่ แต่ฉันไม่เห็นลักษณะเช่นนี้" จะเป็นประโยชน์! พื้นหลัง: มีรูปแบบการเรียนรู้ที่ดีหลายอย่างในทฤษฎีการเรียนรู้ (เช่นการเรียนรู้ PAC การเรียนรู้ออนไลน์ ตัวอย่างเช่นในการเรียนรู้ PAC ความซับซ้อนของตัวอย่างของคลาสแนวคิดมีลักษณะเชิงผสมที่ดีในแง่ของมิติ VC ของคลาส ดังนั้นหากเราต้องการที่จะเรียนรู้ชั้นเรียนที่มีความแม่นยำและความมั่นใจอย่างต่อเนื่องสิ่งนี้สามารถทำได้ด้วยตัวอย่างΘ(d)Θ(d)\Theta(d)โดยที่คือมิติ VC (โปรดทราบว่าเรากำลังพูดถึงความซับซ้อนของตัวอย่างไม่ใช่ความซับซ้อนของเวลา) นอกจากนี้ยังมีคุณลักษณะที่ละเอียดยิ่งขึ้นในแง่ของความแม่นยำและความมั่นใจ ในทำนองเดียวกันรูปแบบความผิดพลาดที่ถูกผูกไว้ของการเรียนรู้ออนไลน์มีลักษณะตัวอักษรแบบ combinatorial ที่ดีddd คำถาม: ฉันต้องการที่จะรู้ว่าผลลัพธ์ที่คล้ายกันเป็นที่รู้จักกันในรูปแบบของการเรียนรู้ที่แน่นอนด้วยแบบสอบถามสมาชิก รูปแบบที่ถูกกำหนดไว้ดังต่อไปนี้: เรามีการเข้าถึงกล่องดำซึ่งการป้อนข้อมูลช่วยให้คุณ(x) เรารู้มาจากบางส่วนแนวคิดระดับCเราต้องการพิจารณาด้วยคำค้นหาน้อยที่สุดxxxf(x)f(x)f(x)fffCCCfff มีพารามิเตอร์ combinatorial ของคลาสแนวคิดที่กำหนดจำนวนของแบบสอบถามที่จำเป็นในการเรียนรู้แนวคิดในรูปแบบของการเรียนรู้ที่แน่นอนด้วยแบบสอบถามสมาชิกหรือไม่CCC สิ่งที่ฉันรู้: ที่ดีที่สุดของตัวละครเช่นฉันได้พบอยู่ในกระดาษนี้โดย Servedio และ Gortlerโดยใช้พารามิเตอร์ที่พวกเขาแอตทริบิวต์ไปBshouty, Cleve, Gavalda, คานและ Tamon พวกเขากำหนดพารามิเตอร์ combinatorial เรียกว่าโดยที่คือคลาสแนวคิดซึ่งมีคุณสมบัติดังต่อไปนี้ (ให้เป็นจำนวนคำค้นหาที่ดีที่สุดที่จำเป็นในการเรียนรู้ในรูปแบบนี้)γCγC\gamma^CCCCQCQCQ_CCCC QC=Ω(1/γC)QC=Ω(log|C|)QC=O(log|C|/γC)QC=Ω(1/γC)QC=Ω(log⁡|C|)QC=O(log⁡|C|/γC)Q_C = …

15 reference-request  machine-learning  lg.learning 

ชุดและB ที่ให้, ความสัมพันธ์ที่สมบูรณ์( ∼ ) ⊆ A × Bระหว่างพวกมันถูกกำหนดให้เป็นความสัมพันธ์ที่ตอบสนองคุณสมบัติดังต่อไปนี้:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B หาก~ ขและ' ~ B 'และ~ ข'แล้ว' ~ข a∼ba∼ba \sim ba′∼b′a′∼b′a' \sim b'a∼b′a∼b′a \sim b'a′∼ba′∼ba' \sim b ความสัมพันธ์ที่แตกต่างกันเป็นลักษณะทั่วไปของแนวคิดของความสัมพันธ์เชิงสมดุลบางส่วนซึ่งอนุญาตให้เรานิยามแนวคิดของความเท่าเทียมกันจากเซตที่แตกต่างกัน เป็นผลให้พวกเขาเป็นที่รู้จักกันเป็นเสมือน (PER) (QPERs) และพวกเขายังเป็นที่รู้จักกันในนามความสัมพันธ์ซิกแซกเนื่องจากภาพดังต่อไปนี้: ฉันกำลังเขียนกระดาษที่ใช้พวกเขา แต่ฉันมีปัญหาในการติดตามการอ้างอิงที่ดีสำหรับการใช้งานในความหมาย มาร์ตินฮอฟแมนใช้พวกเขาในความถูกต้องของผลตามโครงการแปลง ฉันได้เห็นการกล่าวถึง (แต่ไม่มีการอ้างอิงที่ดี) ที่อ้างว่า Tennant และ Takeyama ได้เสนอการใช้งานของพวกเขาเช่นกัน พวกเขาเป็นความคิดที่น่ารักที่ฉันมีปัญหาในการเชื่อว่าการใช้งานเฉพาะของพวกเขานั้นเป็นต้นฉบับ ฉันขอขอบคุณการอ้างอิงเพิ่มเติมใด ๆ

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

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

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

ฉันใช้คำชื่อในแง่ที่หลวมมาก มีงานจำนวนมากเกี่ยวกับทฤษฎีเกมวิวัฒนาการรวมถึงพื้นฐานทางคณิตศาสตร์ ฉันแนะนำ "เกมวิวัฒนาการและพลวัตประชากร" แต่ยังไม่ได้เจาะลึก นอกจากนี้ยังมีงานจำนวนมากเกี่ยวกับทฤษฎีเกมอัลกอริทึมซึ่งเป็นหัวข้อยอดนิยมในเว็บไซต์นี้ สิ่งที่ฉันต้องการเห็นก็คืองานที่ทำให้เกิดความซับซ้อนในการคำนวณหรือข้อความเกี่ยวกับการลู่เข้าเกี่ยวกับการเปลี่ยนแปลงทางวิวัฒนาการ ตัวอย่าง (เขียนอย่างหลวม ๆ ): เมื่อพิจารณาจากประชากรและโครงการวิวัฒนาการเราสามารถทำให้ความน่าจะเป็นที่จะเกิดขึ้นกับการเพิ่มประสิทธิภาพของประชากรในระยะยาว (เทียบกับบุคคลที่ดีที่สุดที่ผลิตได้หรือไม่) สิ่งนี้ดูเหมือนจะเกี่ยวข้องอย่างมากกับผู้เชี่ยวชาญและปัญหาโจร สิ่งที่เกี่ยวกับการตั้งค่า nonstationary? เนื่องจากกลุ่มประชากรของสปีชีส์ต่าง ๆ ที่มีปฏิสัมพันธ์ในสภาพแวดล้อมของพวกเขาเล่นเกมที่มีผู้เล่นหลายคนค่อนข้างมากสิ่งที่เราสามารถพูดได้เกี่ยวกับความมั่นคงในที่สุดของกลยุทธ์หรือการกระจายกลยุทธ์ของพวกเขา ในสภาพแวดล้อมใด ๆ ที่มี "niches" มากมาย (เป็นวิธีการใช้ถ้อยคำที่เกินจริงฉันเข้าใจ) ไม่ว่าจะเป็นความสัมพันธ์โดยตรงกับสภาพแวดล้อมหรือในแง่ของความสัมพันธ์กับสายพันธุ์อื่น ๆ ข้ามซอกเหล่านี้ ปัญหาใด ๆ ที่ฉันไม่ได้ถาม แต่ควร - ฉันมาที่นี้ด้วย AGT, TCS, Algorithms ทางพันธุกรรมทฤษฎีเกมวิวัฒนาการหรือภูมิหลังชีววิทยาของประชากร ฉันถามคำถามจากมุมมองการเพิ่มประสิทธิภาพ / การเรียนรู้ของเครื่อง / สถิติซึ่งอาจผิดหรือไม่สมบูรณ์

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

ที่จริงฉันมีสองคำถาม: ใครเป็นคนแรกที่ใช้ความสัมพันธ์เชิงตรรกะเพื่อเชื่อมโยงความหมาย? ฉันตามรอยพวกเขากลับไปที่ " ความสัมพันธ์ระหว่างความหมายโดยตรงและความต่อเนื่อง " ของ Reynold แต่ฉันไม่สามารถอ้างว่าได้ทำการค้นหาอย่างละเอียดถี่ถ้วน ฉันได้พบการอ้างอิงถึงความสัมพันธ์เชิงตรรกะในการเดทก่อนหน้านี้ (Tait, '67) แต่ไม่ใช่สำหรับความหมายที่เกี่ยวข้อง อะไรคือการแนะนำที่ดีที่สุดในปัจจุบันสำหรับความสัมพันธ์เชิงตรรกะ? ฉันรู้เกี่ยวกับ " ระบบการพิมพ์สำหรับภาษาโปรแกรม " ของมิตเชลล์จากคู่มือ TCS มีงานแสดงสินค้าอะไรอีกบ้าง?

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

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

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

บางหลัง: Łukasiewicz logics หลายมูลค่าตั้งใจเป็นคำกริยา logics และŁukasiewiczให้extensionalนิยามของผู้ประกอบกิริยา: (ซึ่งเขาแอตทริบิวต์ Tarski)◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A นี้จะช่วยให้ตรรกะกิริยาแปลกที่มีความขัดแย้งบางอย่างถ้าไม่ได้ไร้สาระทฤษฎีบทดูเหมือนสะดุดตา ) ทดแทน¬ AสำหรับBเพื่อดูว่าทำไมมันถึงได้ถูกผลักไสไปยังเชิงอรรถในประวัติศาสตร์ของตรรกะโมดัล(◊A∧◊B)→◊(A∧B)(◊A∧◊B)→◊(A∧B)(\Diamond A\land \Diamond B) \to \Diamond (A\land B)¬A¬A\neg ABBB อย่างไรก็ตามฉันได้ตระหนักว่ามันไร้สาระน้อยลงเมื่อนิยามของโอเปอเรเตอร์ที่เป็นไปได้นั้นถูกนำไปใช้กับ Linear Logic และ logics substructural อื่น ๆ ฉันมีการพูดคุยอย่างไม่เป็นทางการเกี่ยวกับเรื่องนี้เมื่อต้นเดือน ลิงก์ไปยังการพูดคุยนั้นอยู่ที่http://www.cs.st-andrews.ac.uk/~rr/pubs/lablunch-20110308.pdf (หนึ่งในเหตุผลที่ฉันถามเกี่ยวกับคำกริยา log substructural คือการเปรียบเทียบความหมายของ logics เหล่านั้นกับการใช้ตัวดำเนินการนี้) อย่างไรก็ตามงานที่ไม่สำคัญเพียงอย่างเดียวที่ฉันได้พบการอ้างอิงถึงคือการพูดคุยโดย A. Turquette, "ความทั่วไปของ Tarski ของMöglichkeit" ที่สมาคมออสตราเลเซียนประจำปี 1997 …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

ฉันกำลังมองหาเอกสารและบทความเกี่ยวกับ logics substructural modal - ไม่ได้อยู่ในความหมายของ modalities ตรรกะเชิงเส้น แต่ใน logics substructural เพิ่มกับผู้ประกอบการ modal มาตรฐานเช่น substructural K (เช่น MALL กับผู้ประกอบการกล่องความจำเป็นและกฎ K)

15 reference-request  lo.logic  proof-theory 

อย่างที่ทุกคนรู้หนังสือที่มีชื่อเสียงของ Garey และ Johnson (และอื่น ๆ อีกมากมาย) ให้การอ้างอิงที่ยอดเยี่ยมสำหรับเทคนิคการลดในสภาพแวดล้อมแบบดั้งเดิม มีการสำรวจหรือหนังสือเกี่ยวกับหัวข้อของเทคนิคการลดลงในอัลกอริทึมแบบปรับพารามิเตอร์พูดว่าการลด fpt หรือไม่

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

ของ Banach ทฤษฎีบทจุดคงบอกว่าถ้าเรามีว่างสมบูรณ์พื้นที่ตัวชี้วัดฟังก์ชั่นใด ๆ แล้ว contractive สม่ำเสมอฉ: →ก็มีที่ไม่ซ้ำกันจุดคงμ ( ฉ ) อย่างไรก็ตามการพิสูจน์ทฤษฎีบทนี้ต้องการสัจพจน์ของการเลือก - เราจำเป็นต้องเลือกองค์ประกอบโดยพลการ∈ Aเพื่อเริ่มทำซ้ำfจาก, เพื่อให้ได้ลำดับ Cauchy a , f ( a ) , f 2 ( a ) , f 3 ( ) ,AAAf:A→Af:A→Af : A \to Aμ(f)μ(f)\mu(f)a∈Aa∈Aa \in Afffa,f(a),f2(a),f3(a),…a,f(a),f2(a),f3(a),…a, f(a), f^2(a), f^3(a), \ldots . ทฤษฎีบทจุดคงที่ระบุไว้ในการวิเคราะห์เชิงสร้างสรรค์อย่างไร นอกจากนี้ยังมีการอ้างอิงที่รัดกุมเกี่ยวกับช่องว่างเมตริกที่สร้างสรรค์หรือไม่ เหตุผลที่ฉันถามคือฉันต้องการสร้างแบบจำลองของ System …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

เมื่ออ่านบทความ " ทฤษฎีการประยุกต์ใช้สำหรับ FPH " คุณสามารถพบข้อความต่อไปนี้: เมื่อพิจารณาถึงทฤษฎีที่อธิบายลักษณะของความซับซ้อนในการคำนวณมีสามแนวทางที่แตกต่างกัน: ในหนึ่งฟังก์ชั่นที่สามารถกำหนดได้ในทฤษฎีคือ "อัตโนมัติ" ภายในระดับความซับซ้อนที่แน่นอน ในบัญชีดังกล่าวไวยากรณ์จะต้องถูก จำกัด เพื่อรับประกันว่าจะยังคงอยู่ในระดับที่เหมาะสม ผลลัพธ์นี้โดยทั่วไปในปัญหาที่คำจำกัดความของฟังก์ชั่นบางอย่างไม่ทำงานอีกต่อไปแม้ว่าฟังก์ชั่นจะอยู่ในระดับความซับซ้อนภายใต้การพิจารณา ในบัญชีที่สองตรรกะพื้นฐานถูก จำกัด ในบัญชีที่สามไม่มีใคร จำกัด ไวยากรณ์อนุญาตให้เขียน "เงื่อนไขการใช้งาน" สำหรับฟังก์ชั่นตามอำเภอใจ (เรียกซ้ำบางส่วน) ฟังก์ชั่นหรือตรรกะ แต่เฉพาะสำหรับฟังก์ชั่นการใช้งานซึ่งเป็นของชั้นซับซ้อนภายใต้การพิจารณา เราสามารถพิสูจน์ได้ว่าพวกเขามีคุณสมบัติลักษณะบางอย่างโดยปกติแล้วคุณสมบัติที่พวกเขาจะ“ พิสูจน์ได้โดยรวม” ในขณะที่ฟังก์ชั่นเงื่อนไขตามกรอบการสร้างประโยคพื้นฐานอาจมีลักษณะการคำนวณที่ตรงไปตรงมาเช่นในฐานะเงื่อนไขตรรกะที่ใช้ในการพิสูจน์คุณสมบัติพิเศษอาจเป็นแบบคลาสสิกλλ\lambda คำถามของฉันเกี่ยวข้องกับการอ้างอิงซึ่งอาจเป็นการแนะนำให้รู้จักกับสามวิธีที่กล่าวถึงข้างต้น ในพระธรรมตอนนี้เราเห็นลักษณะเฉพาะของวิธีการ แต่สิ่งเหล่านี้มีชื่อที่ยอมรับโดยทั่วไปหรือไม่?

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

ฉันสนใจที่จะสร้างตัวเลขสุ่มหลอกสำหรับการเข้ารหัส นอกจากบทที่ 5 ของMenezes / Oorschot / Vanstone ; บทที่ 8 ของสติน ; และบทที่ 3 ของGoldreichฉันจะหาสิ่งอื่นได้ที่ไหนอีก ฉันสนใจในหลักการทั่วไปสำหรับการออกแบบ PRNG (คุณสมบัติที่ต้องการการทดสอบ ฯลฯ )

15 cc.complexity-theory  reference-request  pseudorandomness