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

คำขออ้างอิงถูกใช้เมื่อผู้แต่งต้องการทราบเกี่ยวกับงานที่เกี่ยวข้องกับคำถาม

2
ความซับซ้อนของการทำให้เป็นเนื้อเดียวกันสตริง
แรงจูงใจ : ในขณะที่พัฒนาเครื่องมือสำหรับการกำหนดเวอร์ชันของข้อมูลเราลงเอยด้วยการค้นหาอัลกอริธึมสำหรับ "diff" ที่เป็นจำนวนเต็มสองชุดโดยการหาลำดับของการแปลงที่นำจำนวนเต็มหนึ่งชุดมาเป็นชุด เราสามารถที่จะลดปัญหาว่าปัญหาที่เกิดขึ้นเป็นธรรมชาติมากต่อไปนี้ที่ดูเหมือนว่าจะมีการเชื่อมต่อกับการแก้ไขระยะทาง, การจัดกลุ่มโดยการแลกเปลี่ยนและพาร์ทิชันสตริงต่ำสุดที่พบบ่อย ปัญหา : เราได้รับสตริงคือลำดับของตัวอักษรและเป้าหมายของเราคือ ทำให้เป็นเนื้อเดียวกันในราคาต่ำสุด นั่นคือเราต้องการลำดับการจัดเรียงใหม่เพื่อให้ตัวอักษรทั้งหมดที่เหมือนกันอยู่ติดกัน การดำเนินการเดียวที่ได้รับอนุญาตคือการเลือกลำดับของตัวอักษรที่เหมือนกันและย้ายลำดับที่ใดก็ได้และนั่นทำให้ฉันเสียค่าใช้จ่าย 1 หน่วย ความช่วยเหลือใด ๆ ที่บ่งบอกถึงความซับซ้อนของปัญหานี้จะได้รับการชื่นชมมาก! ตัวอย่าง : aabcdab: อินพุต bcd aa ab: หลังจากย้ายaa ตัวแรกไปยังตำแหน่งหลังจาก "d" b bcdaaa: หลังจากย้ายbต่อท้ายไปยังตำแหน่งแรก เนื่องจากสตริงผลลัพธ์เป็นเนื้อเดียวกันเราจึงมีราคาเท่ากับ 2 โปรดทราบว่าเราไม่ได้ถูก จำกัด แต่อย่างใดเกี่ยวกับผลลัพธ์: ตราบใดที่มันเป็นเนื้อเดียวกันเราไม่จำเป็นต้องตรวจสอบคำสั่งซื้อใด ๆ

1
ชื่อของคลาสย่อย "พหุนามสม่ำเสมอ" ของ XP หรือไม่
สมมติว่าเป็นภาษาแปรด้วยความเคารพในตัวอักษรบาง\ -slice ของคือชุดของอินสแตนซ์ในที่มีพารามิเตอร์kชั้นซับซ้อนมีภาษาแปรดังกล่าวว่าสำหรับแต่ละ , อาจมีขั้นตอนวิธีการที่แตกต่างกันและเวลาทำงานพหุนามผูกพันสำหรับแต่ละkแต่ละภาษาที่ใช้พารามิเตอร์ได้ซึ่งคงที่อยู่ในและมีภาษาในΣ k L L k = L ∩ { ( x , k ) | x ∈ Σ * } L k X P L L k ∈ P k k X P X PLLLΣΣ\SigmakkkLLLLk= L ∩ { ( x , k ) | x ∈ …

1
ความซับซ้อนของการเข้าถึงในระบบไดนามิคเชิงเส้นบนสนาม จำกัด
ให้เป็นเมทริกซ์กว่าฟิลด์ จำกัดF 2 = { 0 , 1 }และx , y ที่เป็นพาหะของพื้นที่F n 2 ฉันสนใจในความซับซ้อนในการคำนวณของการตัดสินใจว่ามีt ∈ Nอยู่หรือไม่เช่นA t x = yคือในปัญหาความสามารถในการเข้าถึงสำหรับระบบพลวัตเชิงเส้นบนฟิลด์ จำกัดAAAF2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\}xxxyyyFn2F2n\mathbb{F}_2^nt∈Nt∈Nt \in \mathbb{N}Atx=yAtx=yA^t x = y ปัญหาชัดเจนในNPNP\mathbf{NP} (คาดเดา0≤t&lt;2n0≤t&lt;2n0 \le t < 2^nและคำนวณAtAtA^tในเวลาพหุนามด้วยกำลังสองซ้ำ) ฉันและเพื่อนร่วมงานของฉันก็มีความสามารถที่จะพิสูจน์NPNP\mathbf{NP} -completeness ของปัญหาที่เกี่ยวข้องในการจัดตั้งว่ามีอยู่t∈Nt∈Nt \in \mathbb{N}เช่นว่าเสื้อ x ≥ ปีที่≥คือความไม่เท่าเทียมกัน componentwiseAtx≥yAtx≥yA^t x \ge y≥≥\ge ปัญหานี้ดูเหมือนเป็นเรื่องธรรมดา แต่ฉันไม่สามารถค้นหาการอ้างอิงถึงความซับซ้อนในการคำนวณในวรรณคดีอาจเป็นเพราะฉันไม่ทราบคำศัพท์ที่แน่นอน คุณรู้หรือไม่ว่าปัญหาเกี่ยวกับความเสมอภาคคือNPNP\mathbf{NP}สมบูรณ์หรือเป็นจริงในPP\mathbf{P} …

1
รู้เบื้องต้นเกี่ยวกับความน่าจะเป็นอัตโนมัติ
ฉันจะหาคำแนะนำเกี่ยวกับออโตมาตาความน่าจะเป็นและสิ่งที่พวกเขาจำได้ (ฟังก์ชั่นบางอย่างจากคำถึง ) มีคำมาตรฐานสำหรับฟังก์ชั่นดังกล่าวซึ่งเป็นที่ยอมรับโดยออโตมาตาที่น่าจะเป็นซึ่งคล้ายกับ "ภาษาปกติ" สำหรับออโตเมติก จำกัด (DFA) ที่กำหนดไว้ได้อย่างไร?[ 0 , 1 ][0,1][0,1] ฉันกำลังมองหาบางสิ่งที่ใกล้เคียงกับการเรียนคำถามพื้นฐานเกี่ยวกับ DFAs และภาษาปกติเช่นการแสดงออกการปิดและคุณสมบัติการตัดสินใจ สิ่งนี้และสิ่งนี้ดูเหมือนจะไม่ใช่สิ่งที่ฉันกำลังมองหา

1
มันสามารถตัดสินใจได้หรือไม่ว่าความยาวเอาต์พุตของตัวแปลงสัญญาณจะถูก จำกัด ด้วยความยาวอินพุตหรือไม่?
ก้อนตรงนี้ถือว่าเป็นผู้ที่วิกิพีเดียเรียกก้อนสถานะ จำกัด ลักษณะการทำงานของตัวแปลงสัญญาณ , ที่อยู่, ความสัมพันธ์มันคำนวณถูกเขียน : คำเป็นเอาท์พุทสำหรับ IFF Y[ T ] y x x [ T ] yTTT[ T][T][T]Yyyxxxx [ T] yx[T]yx[T]y คำถาม:ปัญหาต่อไปนี้สามารถแก้ไขได้: ป.ร. ให้ไว้: ตัวแปลงสัญญาณและภาษาปกติ ตัดสินใจ: มันถือว่า ,คำ,หมายถึง?L ∀ x ∈ L ∀ y x [ T ] y | y | ≤ | x |TTTLLL∀ x ∈ …

2
ขั้นตอนวิธีการคูณเมทริกซ์เวกเตอร์โดยใช้การเพิ่มจำนวนน้อยที่สุด
พิจารณาปัญหาต่อไปนี้: ได้รับเมทริกซ์ เราต้องการที่จะเพิ่มประสิทธิภาพของการเพิ่มจำนวนในขั้นตอนวิธีการคูณสำหรับคอมพิวเตอร์วี↦ M VMMMv ↦ Mโวลต์v↦Mvv \mapsto Mv ฉันพบว่าปัญหานี้น่าสนใจเพราะความซับซ้อนของการคูณเมทริกซ์ (ปัญหานี้เป็นรุ่นที่ จำกัด ของการคูณเมทริกซ์) รู้อะไรเกี่ยวกับปัญหานี้ มีผลลัพธ์ที่น่าสนใจเกี่ยวกับปัญหานี้กับความซับซ้อนของปัญหาการคูณเมทริกซ์หรือไม่? คำตอบของปัญหาดูเหมือนว่าจะเกี่ยวข้องกับการหาวงจรที่มีประตูเพิ่มเท่านั้น ถ้าเราอนุญาตให้มีประตูลบ ฉันกำลังมองหาการลดลงระหว่างปัญหานี้และปัญหาอื่น ๆ แรงบันดาลใจจาก การเพิ่มประสิทธิภาพอัตโนมัติของการคูณเวกเตอร์เมทริกซ์ 0-1 อะไรคือความสัมพันธ์ระหว่างสมมติฐานเหล่านั้นในทฤษฎีความซับซ้อนแบบละเอียด

1
การอ้างอิงความจริงที่ว่า (0 = 1) หมายถึงเท็จต้องมีจักรวาลใน MLTT
มันเป็นความจริงที่รู้จักกันดีว่าการได้มาซึ่งความขัดแย้งจากความไม่เท่าเทียมกัน (ตัวอย่างเช่น ) ในทฤษฎีประเภทมาร์ติน - โลฟต้องใช้จักรวาล(0=1)→⊥(0=1)→⊥(0=1) \to \bot การพิสูจน์นั้นค่อนข้างตรงไปตรงมา - ในกรณีที่ไม่มีจักรวาลเราสามารถลบการพึ่งพาจากประเภทใด ๆ เพื่อให้ได้รูปแบบที่เรียบง่ายตามรูปร่างและเพื่อพิสูจน์ว่าหมายความว่าเราสามารถพิสูจน์p → ⊥สำหรับอะตอมpโดยพลการซึ่งเป็นไปไม่ได้แน่นอน(0=1)→⊥(0=1)→⊥(0=1) \to \botp→⊥p→⊥p \to \botppp อย่างไรก็ตามฉันไม่สามารถหาผู้ที่พิสูจน์เรื่องนี้ก่อน! ไม่มีใครมีการอ้างอิง?

3
ข้อ จำกัด ทางทฤษฎีกราฟเพื่อพิสูจน์ในทฤษฎีความซับซ้อนพิสูจน์
ความซับซ้อนของการพิสูจน์เป็นพื้นที่พื้นฐานที่สุดของทฤษฎีความซับซ้อนในการคำนวณ จุดประสงค์สูงสุดของพื้นที่นี้คือเพื่อพิสูจน์ว่านั่นคือผู้ตรวจสอบใด ๆ ไม่สามารถพิสูจน์ได้ว่าไม่น่าพอใจของสูตรป้อนข้อมูลที่ให้ ยังไม่มีข้อความP≠ c o NPNP≠coNPNP\neq coNP กราฟเป็นหนึ่งในรูปแบบที่เป็นทางการของการพิสูจน์ คำถามของฉันเกี่ยวกับข้อ จำกัด เพิ่มเติมของรุ่นนี้ หลักฐานจะแสดงเป็น DAG โหนดที่มีพัดลมอิน 0 มีป้ายกำกับความจริง โหนดที่ไม่ซ้ำซึ่งมี fan-out 0 สอดคล้องกับ "false" สำหรับกฎอินพุตที่ได้รับจากการหักแต่ละโหนดที่มีทั้งแบบ in-degree และ out-degree มีเลเบลที่เป็นตัวแทนของข้อเสนอ คำถามของฉันคือ: มีระบบพิสูจน์และงานวิจัยที่เกี่ยวข้องในกรณีที่คลาสของ DAGs ถูก จำกัด หรือไม่? ยินดีต้อนรับท่านด้วยกระดาษการสำรวจและบันทึกการบรรยาย ระบบพิสูจน์ที่มีการศึกษาก่อนหน้านี้เช่น Nullstellensatz, ความคมชัด, LS, AC0 Frege, RES (k), Polynomial Caluculus และระนาบการตัดมีลักษณะทางทฤษฎีกราฟบ้างไหม?

1
การคาดเดา Hartmanis-Stearns และตัวเลขยอดเยี่ยมที่คำนวณได้
ในปี 1965 บทความ " ในความซับซ้อนของการคำนวณของอัลกอริธึม " โดย Hartmanis และ Stearns ผู้เขียนคาดการณ์ว่าหากทัวริงเครื่องในเวลาจริงคำนวณจำนวนจริงในเช่นฐาน 10 แล้วคือจำนวนตรรกยะหรือ หมายเลขอดิศัยrrrrrrr มีตัวเลขยอดเยี่ยมที่คำนวณได้ซึ่งไม่คำนวณโดยเครื่องทัวริงตามเวลาจริงเช่นฐาน 10 หรือไม่

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

1
ปัญหาที่อยู่ใน P เฉพาะเมื่อ P! = NP
มีปัญหาใดบ้างที่แก้ไขได้ในเวลาพหุนามเฉพาะเมื่อ P! = NP และสามารถแก้ไขได้ใน (พูด) เวลา?O ( 2)n)O(2n)O(2^n) ตัวอย่างง่ายๆคือ: ถ้า P! = NP ให้คำนวณการทดสอบแบบดั้งเดิมสำหรับหมายเลข n-bit แบบสุ่มมิฉะนั้นให้ประเมินตำแหน่งกรณีที่เลวร้ายที่สุดแบบสุ่มในหมากรุกทั่วไปของกระดาน nxn ที่มี 2n ชิ้นในแต่ละด้าน ดูเหมือนว่าแฮ็กจะค่อนข้าง มีตัวอย่างที่เป็นธรรมชาติมากกว่านี้ไหม?


2
ขั้นต่ำของการกระจายตัวของเวกเตอร์หน่วยทั้งหมดของความแปรปรวนของผลคูณจุดของเวกเตอร์คืออะไร?
ฉันกำลังพยายามที่จะหาการกระจายมากกว่าเวกเตอร์สุ่มพูดx 1 , ... , x nบนkมิติหน่วยทรงกลม (ที่n &gt; k ) ที่ช่วยลดสูงสุดฉัน≠ เจวีR ( x T ฉัน x J )ภายใต้ข้อ จำกัดE [ x T ฉัน x J ] = 0nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn&gt;kn&gt;kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 ฉันพยายามกระจายบางและเกือบทุกคนมีความแปรปรวน1/k1/k1/k k ตัวอย่างเช่นทั้งการแจกแจงที่แต่ละพิกัดของแต่ละxixix_iเป็นอิสระและเลือกอย่างสม่ำเสมอจาก{−1/k−−√,1/k−−√}{−1/k,1/k}\left\{-1/\sqrt{k}, 1/\sqrt{k}\right\}และการจัดจำหน่ายซึ่งในแต่ละxixix_iเป็นเวกเตอร์เครื่องแบบอิสระในkkkหน่วยมิติทรงกลมมีความแปรปรวน1/k1/k1/kk เป็นที่1/k1/k1/kแปรปรวนต่ำสุดในหมู่กระจายทั้งหมดหรือไม่

2
ทำไม Linearizability ถึงมีคุณสมบัติความปลอดภัยและทำไมคุณสมบัติด้านความปลอดภัยถึงปิด?
ในบทที่ 13 "อะตอมมิกวัตถุ" ของหนังสือ "อัลกอริธึมแจกจ่าย" โดยแนนซี่ลินช์ความเป็นเส้นตรง (หรือที่เรียกว่าอะตอมมิกซิตี้) ได้รับการพิสูจน์แล้วว่าเป็นคุณสมบัติด้านความปลอดภัย กล่าวคือคุณสมบัติการติดตามที่สอดคล้องกันนั้นเป็นแบบnonempty, prefix-closed และ limit-closedตามที่กำหนดไว้ในส่วน 8.5.3 อย่างไม่เป็นทางการคุณสมบัติด้านความปลอดภัยมักถูกตีความว่าเป็นการกล่าวว่าสิ่งที่ "ไม่ดี" บางอย่างไม่เคยเกิดขึ้น จากปัญหานี้ปัญหาแรกของฉันมีดังนี้: linearizability เป็นคุณสมบัติความปลอดภัยคืออะไร? มีผลลัพธ์บางส่วนจากข้อเท็จจริงนี้ในวรรณคดีหรือไม่? ในการศึกษาการจำแนกประเภทของคุณสมบัติความปลอดภัยและคุณสมบัติการอยู่รอดเป็นที่รู้จักกันดีว่าคุณสมบัติความปลอดภัยสามารถกำหนดเป็นชุดปิดในโทโพโลยีที่เหมาะสม ในบทความ"การจำแนกความปลอดภัย - ความคืบหน้า" @ 1993 โดย Amir Pnueli และคณะ โทโพโลยีเมตริกถูกนำมาใช้ โดยเฉพาะอย่างยิ่งสถานที่ให้บริการคือชุดของ ( จำกัด หรือไม่มีที่สิ้นสุด) คำมากกว่าตัวอักษร\คุณสมบัติประกอบด้วยทุกคำอนันต์ดังกล่าวว่าทุกคำนำหน้าของเป็นของ\ตัวอย่างเช่นถ้าดังนั้นΣ ( Φ ) σΦΦ\PhiΣΣ\SigmaA ( Φ )A(Φ)A(\Phi)σσ\sigmaΦ Φ = + B * ( Φ …

1
การค้นหารอบสม่ำเสมอในกราฟกำกับ
รับกราฟกำกับเราต้องการตัดสินใจว่ามันมีวงจรกำกับที่มีความยาวเท่ากันหรือไม่ บทความ 1997 โดยYUSTER และ ZWICKระบุว่าปัญหาไม่ได้อยู่ในหรือเป็นที่รู้จักกันว่าเป็นN P- ที่สมบูรณ์PPPNPNPNP มีผลลัพธ์ล่าสุดที่แก้ไขความซับซ้อนของปัญหารอบในกราฟที่กำกับหรือไม่?

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.