วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี

นี่เป็นข้อสรุปทั่วไปของคำถามก่อนหน้าของฉันคำถามก่อนหน้านี้ Let MMMเป็นพหุนามเวลาเครื่องกำหนดว่าสามารถถามคำถามบาง oracle เริ่มแรกAว่างเปล่า แต่สามารถเปลี่ยนแปลงได้หลังจากเกมที่จะอธิบายไว้ด้านล่าง ให้xเป็นสตริงAAAAAAxxx พิจารณาเกม Alice และ Bob ต่อไปนี้ ในขั้นต้นอลิซและบ็อบมีmAmAm_AและmBmBm_Bดอลลาร์ตามลำดับ Alice ต้องการMA(x)=1MA(x)=1M^A(x)=1และ Bob ต้องการMA(x)=0MA(x)=0M^A(x)=0 0 ในทุกขั้นตอนของเกมผู้เล่นสามารถเพิ่มสตริงyyyลงในAAA ; ค่าใช้จ่ายนี้f(y)f(y)f(y)ดอลล่าร์โดยที่f:{0,1}∗→Nf:{0,1}∗→Nf: \{0,1\}^* \to \mathbb{N}เป็นฟังก์ชันคำนวณเวลาแบบพหุนาม นอกจากนี้ผู้เล่นสามารถพลาดขั้นตอนของเขาหรือเธอ การเล่นสิ้นสุดลงหากผู้เล่นทั้งสองใช้เงินทั้งหมดหรือหากผู้เล่นบางคนพลาดขั้นตอนที่เขาหรือเธออยู่ในตำแหน่งแพ้ (ซึ่งกำหนดโดยมูลค่าปัจจุบันของMA(x)MA(x)M^A(x) ) คำถาม:ปัญหาของการกำหนดผู้ชนะของเกมนี้สำหรับ M,f,x,mA,mBM,f,x,mA,mBM, f, x, m_A, m_Bคือ EXPSPACE - งานที่เสร็จสมบูรณ์หรือไม่ โปรดทราบว่าMMMสามารถถาม (สำหรับที่อยู่) เพียงสตริงของความยาวพหุนามเพื่อให้มีความรู้สึกที่อลิซหรือบ๊อบที่จะเพิ่มสายอีกต่อไปมากขึ้นที่จะไม่มี ดังนั้นปัญหานี้อยู่ในEXPSPACE AAAAAA ในคำถามก่อนหน้าของฉันการเพิ่มทุกสตริงลงในAAAค่าใช้จ่ายหนึ่งดอลลาร์ (เช่นf≡1f≡1f \equiv 1 ) จากนั้น (ตามที่แสดงโดยLance Fortnow …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

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

10 cc.complexity-theory  quantum-computing  quantum-information 

Let เป็นพหุนามเวลาเครื่องกำหนดว่าสามารถถามคำถามบาง oracle เริ่มแรกAว่างเปล่า แต่สามารถเปลี่ยนแปลงได้หลังจากเกมที่จะอธิบายไว้ด้านล่าง ให้xเป็นสตริงMMMAAAAAAxxx พิจารณาเกม Alice และ Bob ต่อไปนี้ ในขั้นต้นอลิซและบ็อบมีและm Bดอลลาร์ตามลำดับ อลิซต้องการM ( x ) = 1และบ๊อบต้องการM ( x ) = 0ม.AmAm_Aม.BmBm_BMA( x ) = 1MA(x)=1M^A(x)=1MA( x ) = 0MA(x)=0M^A(x)=0 ในทุกขั้นตอนของเกมผู้เล่นสามารถเพิ่มหนึ่งสตริงใน ; ราคานี้หนึ่งดอลลาร์ นอกจากนี้ผู้เล่นสามารถพลาดขั้นตอนของเขาหรือเธอAAA การเล่นสิ้นสุดลงหากผู้เล่นทั้งสองใช้เงินทั้งหมดหรือหากผู้เล่นบางคนพลาดขั้นตอนเมื่อเขาหรือเธออยู่ในตำแหน่งแพ้ (ซึ่งกำหนดโดยมูลค่าปัจจุบันของ )MA( x )MA(x)M^A(x) คำถาม:ปัญหาของการกำหนดผู้ชนะของเกมนี้สำหรับคือM, x , mA, มBM,x,mA,mBM, x, m_A, m_B EXPSPACE …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

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

10 soft-question  advice-request 

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

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

Mahaney ทฤษฎีบทบอกเราว่าถ้ามีความเบาบางชุดที่สมบูรณ์ภายใต้พหุนามเวลาหลายหนึ่งลดแล้วNP (ดู " ชุดสมบูรณ์แบบกระจัดกระจายสำหรับ NP: วิธีแก้ปัญหาการคาดคะเนของ Berman และ Hartmanis ")NPNPNPP=NPP=NPP = NP มีผลต่อการรู้จักของชุดสมบูรณ์แบบกระจัดกระจายสำหรับคลาสความซับซ้อนอื่น ๆ โดยเฉพาะอย่างยิ่งถ้ามีชุด -complete ที่กระจายอยู่ใต้ logspace การลดลงหลาย ๆ รายการนั่นหมายความว่าหรือไม่PPPP=LP=LP = L

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

ฉันเจอตัวอย่างสองตัวอย่างของความแข็งสมมุติของปัญหากราฟบางอย่าง ความแข็งเชิงสมมุติฐานหมายความว่าการ refuting การคาดเดาบางอย่างจะบ่งบอกถึงความสมบูรณ์ NP ของปัญหากราฟที่เกี่ยวข้อง ตัวอย่างเช่นการคาดคะเนของ Barnetteระบุว่ากราฟ bipartite 3 เหลี่ยมที่เชื่อมต่อกันทุกตัวคือ Hamiltonian เฟเดอร์และซูบิพิสูจน์ให้เห็นว่าการ refuting การคาดเดานั้นบ่งบอกถึงปัญหาความสมบูรณ์ของปัญหาวงจรมิลโตเนียนบนกราฟในคลาสของการคาดเดา การคาดเดาการไหล 5 ระดับของ Tutteระบุว่ากราฟ bridgeless ทุกกราฟไม่มีการไหล 5 ศูนย์ Kochol แสดงให้เห็นว่าถ้าการคาดเดาเป็นเท็จแล้วปัญหาในการระบุว่าเป็นลูกบาศก์กราฟยอมรับไม่มีที่ไหนเลยที่ศูนย์ 5 ไหล NP-สมบูรณ์ มีข้อมูลเชิงลึกทั่วไปเกี่ยวกับการคาดเดาข้างต้นที่อธิบายความสมบูรณ์ NP ของสมมุติฐานของปัญหากราฟที่เกี่ยวข้องหรือไม่ มีตัวอย่างอื่นของความซับซ้อนเชิงสมมุติในความหมายข้างต้นหรือไม่? PS นี้ถูกโพสต์ในMathoverFlowโดยไม่ได้รับคำตอบ

10 cc.complexity-theory  graph-theory  np-hardness 

คำว่าการผกผันของโปรแกรม มีหลายความหมาย แต่อาจเริ่มด้วยงานของ J. McCarthy ในปี 1956 การกลับมาของฟังก์ชั่นที่นิยามโดย Turing Machinesในบริบทของ AI โดยขณะนี้มีการค้นพบการเชื่อมต่อจำนวนมากระหว่างการผกผันของโปรแกรมและฟิลด์อื่น ๆ เช่นการเขียนโปรแกรมแบบย้อนกลับได้ (ทางกายภาพและตรรกะ) การประเมินผลบางส่วนการตรวจสอบการเขียนโปรแกรมแบบสองทิศทางการเขียนโปรแกรมเชิงตรรกะ การกลับรายการคืออะไร ในการประมาณแรกมันจะเป็นแบบนี้: ให้โปรแกรมรับอาร์กิวเมนต์ประเภท Aและส่งคืนผลลัพธ์ของ type Bสร้างโปรแกรมP - 1ที่ "ตรงกันข้าม" Pอย่างใดอย่างหนึ่ง ฉันจงใจที่จะคลุมเครือที่นี่เนื่องจากแนวคิดสามารถ (และเป็น) ชี้แจงในรูปแบบต่างๆ: เช่นPจะต้องฉีด? ควร P - 1 ( ข)กลับมาทั้งหมดหรือเพียงบางส่วนดังกล่าวว่าP ( ) = BP: A → BP:A→BP : A \rightarrow BAAABBBP−1P−1P^{-1}PPPPPPP−1(b)P−1(b)P^{-1}(b)aaaP(a)=bP(a)=bP(a) = b? มีวิธีทั่วไปในการแปลงโปรแกรมเช่นการใช้ …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

ฉันสนใจที่จะกำหนดความซับซ้อนของปัญหาการตัดสินใจดังต่อไปนี้: ให้จำนวนเต็มสองตัวและl 2 (แต่ละอันที่ m บิตส่วนใหญ่) ตัดสินใจว่าบิตที่สำคัญที่สุดของการคูณl 1 ⋅ l 2คือ 1 (โดยที่ผลลัพธ์ มีการพิมพ์ใน 2m บิตโดยมี 0 นำหน้า)ล.1l1l_1ล.2l2l_2ล.1⋅ l2l1⋅l2l_1 \cdot l_2 พื้นหลังของปัญหา: เห็นได้ชัดว่าปัญหานี้เป็นกรณีพิเศษของการคูณเลขฐานสองที่ถามว่า th บิตของการคูณl 1 ⋅ l 2คือ 1 ในกระดาษของพวกเขาวงจรความลึกคงที่สม่ำเสมอสม่ำเสมอสำหรับการหารและทำซ้ำ คูณ , เฮสส์และบาริงตัน Allender พิสูจน์ว่าซ้ำ (และไบนารีจึง) คูณอยู่ในD L o กรัมT ฉันm E - เครื่องแบบT C 0 ยิ่งไปกว่านั้นมันเป็นที่รู้กันดีว่าการคูณแบบไบนารีนั้นมีอยู่แล้วD L o …

10 cc.complexity-theory  circuit-complexity 

มีความคิดเกี่ยวกับการคำนวณในเซตอื่นที่ไม่ใช่ตัวเลขธรรมชาติหรือไม่? สำหรับประโยชน์ของอาร์กิวเมนต์สมมติว่าชุดSSS biject กับNNN\mathbb{N} มันดึงดูดให้พูดว่า "ใช่พวกเขาจะมีฟังก์ชั่นเหล่านั้นในรูปแบบg∘f∘g−1g∘f∘g−1g \circ f \circ g^{-1}ที่gggเป็น bijection ใด ๆN→SN→S\mathbb{N} \to Sและfffเป็นฟังก์ชันคำนวณใด ๆN→NN→N\mathbb{N} \to \mathbb{N} " ฉันระมัดระวังคำจำกัดความนี้ด้วยเหตุผลสองประการ มันมีสิทธิพิเศษNN\mathbb{N}มากกว่าชุดนับได้อื่น ๆ ทำไมNN\mathbb{N}พิเศษเมื่อต้องนิยามความสามารถในการคำนวณ ฉันต้องการคำจำกัดความของ "การประสานงานฟรี" ของการคำนวณโดยไม่มีการอ้างอิงถึงชุดสิทธิพิเศษใด ๆ ในลักษณะเดียวกับที่ฉันอาจต้องการคำจำกัดความ "ประสานงานฟรี" ของแนวคิดพีชคณิตเชิงเส้นโดยไม่มีการอ้างอิงถึงสิทธิพิเศษใด ๆ มันก่อให้เกิดคำถามเกี่ยวกับทางเลือกของกรัมgggฉันสงสัยว่ามันอาจจะเป็นไปได้ที่จะพบความขัดแย้งโดยทางเลือกทางพยาธิวิทยาโดยเฉพาะอย่างยิ่งของSSSและGgggตัวอย่างเช่นถ้าฉันเลือกS=NS=NS = \mathbb{N}และgggความนิยมที่ไม่คำนวณได้คือกรณีที่g∘f∘g−1g∘f∘g−1g \circ f \circ g^{-1}คำนวณได้สำหรับการคำนวณทั้งหมดfff ? มันล่อลวงให้ต้องการคำจำกัดความที่gggคำนวณได้ แต่น่าเสียดายที่ขอทานคำถาม มีวิธีการทั่วไปในการอธิบายความสามารถคำนวณได้ในชุดนับได้นอกเหนือจากNN\mathbb{N}หรือไม่?

10 computability 

พิจารณาเกมที่มีผู้เล่น 2 คนดังต่อไปนี้: ธรรมชาติสุ่มเลือกโปรแกรม ผู้เล่นแต่ละคนเล่นหมายเลขใน [0, อินฟินิตี้] รวมเพื่อตอบสนองต่อการเคลื่อนไหวของธรรมชาติ ใช้จำนวนขั้นต่ำของผู้เล่นและเรียกใช้โปรแกรมสำหรับ (ไม่เกิน) ว่าหลายขั้นตอน (ยกเว้นว่าผู้เล่นทั้งคู่เลือกอินฟินิตี้) หากโปรแกรมหยุดทำงานผู้เล่นที่เล่นหมายเลขต่ำสุดจะได้รับ 1 แต้ม หากโปรแกรมไม่หยุดผู้เล่นคนนั้นจะเสีย 1 คะแนน ผู้เล่นที่เล่นเป็นจำนวนไม่น้อยได้รับ 0 คะแนนและผู้เล่นทั้งสองได้รับ 0 ถ้าพวกเขาเล่นอนันต์ (กรณีมุมอาจได้รับการจัดการด้วยวิธีใดก็ตามที่รักษาจิตวิญญาณของปัญหาได้ดีที่สุด - เช่นความหมายกึ่งอัตโนมัติตอนบนอาจเป็นประโยชน์) คำถาม: เกมนี้มีสมดุลของแนชที่คำนวณได้หรือไม่? หากไม่มีข้อกำหนดการคำนวณผู้เล่นแต่ละคนจะเล่นตามจำนวนขั้นตอนที่แน่นอนซึ่งโปรแกรมหยุด (หรือไม่มีที่สิ้นสุดหากไม่หยุด) หากคุณลองโต้แย้งตามแนวทแยงมุมตามปกติสำหรับปัญหาการหยุดพักคุณจะพบว่ามีความสมดุลในกลยุทธ์ที่หลากหลายดังนั้นวิธีการที่ชัดเจนจึงไม่สามารถใช้งานได้ทันที อาจจะมีวิธีการปรับแต่งบางอย่าง? ในทางตรงกันข้ามความเท่าเทียมกันของสนามปิดจริงหมายความว่าเกมที่ จำกัด ด้วยการจ่ายผลตอบแทนที่คำนวณได้มีความสมดุลที่คำนวณได้ เกมนี้ไม่ได้ จำกัด แต่พื้นที่กลยุทธ์ถูกปิดและการคำนวณผลตอบแทนดังนั้นอาจใช้เล่ห์เหลี่ยมเดียวกันกับทฤษฎีบทของ Glicksberg หรือบางสิ่งในเส้นเลือดนั้น? ปัญหาคือหากไม่มีความต้องการในการคำนวณความสมดุลอยู่ในกลยุทธ์ที่บริสุทธิ์ดังนั้นความพยายามใด ๆ ที่จะพิสูจน์การมีอยู่ของความสมดุลที่คำนวณได้โดยใช้การดำรงอยู่ของความสมดุลที่คำนวณได้อาจจะต้องอธิบายว่าทำไมสมดุลถูกลดระดับจากบริสุทธิ์ ดูเหมือนว่าจะเป็นปัญหาที่ผู้คนอาจไม่เคยตอบคำถามนี้มาก่อน แต่อาจมองสิ่งที่คล้ายกัน ฉันไม่สามารถพลิกผันได้มากนัก แต่ถ้าใครรู้เรื่องของวิญญาณกรุณาแจ้งให้เราทราบ! แรงจูงใจ: มีปรีชาญาณทั่วไปที่การอ้างอิงตนเองเป็นบล็อกหลักในการคำนวณ - …

10 lo.logic  computability  gt.game-theory 

พิจารณาปัญหาต่อไปนี้ มีค่าที่ไม่รู้จัก{R} ภารกิจคือค้นหาดัชนีที่มีขนาดใหญ่ที่สุดโดยใช้แบบสอบถามเฉพาะของแบบฟอร์มต่อไปนี้ แบบสอบถามระบุโดยชุดและคำตอบที่สอดคล้องกันคือv_i เป้าหมายคือใช้แบบสอบถามน้อยที่สุดv 1 , ⋯ , v n ∈ R S ⊆ { 1 , ⋯ , n } max i ∈ S v innnโวลต์1, ⋯ , vn∈ Rv1,⋯,vn∈Rv_1, \cdots, v_n \in \mathbb{R}S⊆ { 1 , ⋯ , n }S⊆{1,⋯,n}S \subseteq \{1,\cdots,n\}สูงสุดฉัน∈ Sโวลต์ผมmaxi∈Svi\max_{i \in S} v_i ปัญหานี้เป็นเรื่องง่าย: …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

มีอัลกอริทึมการเรียงลำดับแบบอิงการเปรียบเทียบที่ใช้ค่าเฉลี่ยของการเปรียบเทียบหรือไม่l g ( n ! ) + o ( n )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) การดำรงอยู่ของกรณีที่เลวร้ายที่สุดอัลกอริทึมการเปรียบเทียบเป็นปัญหาที่เปิดอยู่ แต่กรณีเฉลี่ยพอเพียงสำหรับอัลกอริทึมแบบสุ่มที่มี\ mathrm {lg} (n!) + o ( n)เปรียบเทียบทุกอินพุต ความสำคัญของ\ mathrm {lg} (n!) + o (n)คือการเปรียบเทียบจากo (n) ที่ดีที่สุดโดยสิ้นเปลืองค่าเฉลี่ยเพียงo (1)การเปรียบเทียบต่อองค์ประกอบl g ( n ! ) + o ( n ) lg(n!)+o(n)\mathrm{lg}(n!)+o(n)l g ( n ! ) + o ( n …

10 cc.complexity-theory  ds.algorithms  sorting 

ให้เป็นกลุ่ม abelian ที่มีขอบเขต จำกัด และให้Pเป็น polytope ในR Γที่กำหนดให้เป็นจุดx ที่สอดคล้องกับความไม่เท่าเทียมกันต่อไปนี้ΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in \Gamma \end{array} ที่หมายความGเป็นกลุ่มย่อยของΓ คือPหนึ่ง? ถ้าเป็นเช่นนั้นเราสามารถอธิบายลักษณะของจุดยอดได้หรือไม่?G≤ΓG≤ΓG \le \GammaGGGΓΓ\GammaPPP แต่เดิมคำถามของฉันเกิดขึ้นกับซึ่งมีตัวอย่างเล็ก ๆ น้อย ๆ ( n = 2 , 3 ) แนะนำว่าคำตอบคือ "ใช่" และ "อาจจะ …

10 gr.group-theory  fourier-analysis  convex-geometry 

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

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance