คำถามติดแท็ก dc.distributed-comp

คำนิยาม ให้และให้ ,และเป็นจำนวนเต็มบวก (กับ )ϵ > 0ϵ>0\epsilon > 0r g g > 2 r + 1dddRrrก.ggก.> 2 r + 1g>2r+1g > 2r+1 ให้เป็นที่เรียบง่าย, -regular, undirected กราฟ จำกัด กับเส้นรอบวงอย่างน้อยกรัมd gG = ( V, E)G=(V,E)G = (V,E)dddก.gg Letเป็นยอดสั่งซื้อในVV≤≤\leVVV สำหรับแต่ละให้ประกอบด้วยโหนดที่อยู่ภายในระยะทางจากใน (เส้นทางที่สั้นที่สุดจากไปยังมีขอบที่สุด) และให้เป็นกราฟย่อย ของที่เกิดจากV_vจำได้ว่าเราสันนิษฐานว่ามีเส้นรอบวงสูง ดังนั้นเป็นต้นไม้ Letเป็นข้อ จำกัด ของเพื่อV_vV V ⊆ V R วีจีวียู∈ วีวีอาร์จีวีจีวีวีจีจีวี≤ …

10 graph-theory  co.combinatorics  dc.distributed-comp 

ฉันเป็นนักเรียนปริญญาโทที่มุ่งเน้นไปที่ระบบกระจาย แต่ยังสนใจในวิทยาการคอมพิวเตอร์เชิงทฤษฎี ฉันสงสัยว่ามีตัวแทนอย่างเป็นทางการของระบบกระจายที่ด้านบนของเครื่องทัวริงหรือไม่? นั่นคือมันเป็นไปได้ที่จะขยาย (สร้างตัวแปร) แนวคิดของเครื่องทัวริงเพื่อใช้ประโยชน์จากการคำนวณแบบกระจายหรือไม่? หนึ่งความคิดคือการสร้างเทปที่ใช้ร่วมกัน (สิ่งที่คล้ายกับTuple Space ) ระหว่าง TM

10 turing-machines  dc.distributed-comp 

David Rodríguez - dribeas เขียนไว้ในความคิดเห็นเกี่ยวกับ StackOverflowว่า "คอลเลกชันบางอย่างอาจไม่สามารถใช้งานได้โดยไม่ล็อค" ฉันไม่แน่ใจว่านี่เป็นเรื่องจริงหรือไม่และฉันไม่สามารถหาข้อพิสูจน์ได้ คำสั่งนี้ไม่แม่นยำมาก แต่ให้ฉันลองใช้คำใหม่อย่างเป็นทางการเล็กน้อย: สำหรับคอลเลกชันทุกประเภทCมีคอลเลกชันประเภทล็อคฟรีCLFที่มีชุดปฏิบัติการเดียวกันและที่แต่ละการดำเนินการบนCLFมีความซับซ้อนขนาดใหญ่-O Cเช่นเดียวกับการดำเนินงานที่สอดคล้องกันใน ฉันไม่คิดว่าจะมีการเปลี่ยนแปลงอีกต่อไป

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

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

10 ds.algorithms  dc.distributed-comp 

คุณแนะนำเอกสารใดเกี่ยวกับการจัดการข้อผิดพลาดในระบบกระจาย

10 reference-request  dc.distributed-comp 

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

10 ds.algorithms  random-walks  dc.distributed-comp 

ในการแนะนำของบทความนี้ในที่สุดวัตถุที่ใช้ร่วมกัน Linearizable (PODC'10)ผู้เขียนได้นำเสนอคำสั่งต่อไปนี้โดยไม่มีการอ้างอิง: อย่างไรก็ตามความสามารถเชิงเส้นตรงนั้นสามารถเกิดขึ้นได้หากหากว่าฉันทามติสามารถแก้ไขได้ นี่ linearizability เป็นที่รู้จักกันที่แข็งแกร่งคุณสมบัติสอดคล้องของวัตถุที่ใช้ร่วมกันซึ่งมีการเสนอในกระดาษLinearizability: เป็นความถูกต้องเงื่อนไขการใช้วัตถุพร้อมกัน ฉันสับสนเกี่ยวกับข้อความข้างต้นเนื่องจากข้อโต้แย้งดังต่อไปนี้: ในกระดาษการแชร์หน่วยความจำที่มีประสิทธิภาพในระบบส่งข้อความ (JACM95)เรารู้ว่าความสามารถเชิงเส้นสามารถทำได้ในระบบส่งข้อความแบบอะซิงโครนัสในขณะที่ทนต่อกระบวนการขัดข้องน้อย อัลกอริธึมที่ไม่มีการรอใด ๆ ที่อิงตามการลงทะเบียนแบบอะตอมมิกนักเขียนหลายคนสามารถเลียนแบบโดยอัตโนมัติในระบบส่งข้อความโดยมีเงื่อนไขว่าอย่างน้อยโปรเซสเซอร์ส่วนใหญ่ไม่ผิดพลาดและยังคงเชื่อมต่ออยู่ ในทางตรงกันข้ามกระดาษที่เป็นไปไม่ได้ของฉันทามติที่กระจายด้วยหนึ่งกระบวนการที่ผิดพลาด (JACM85)ได้พิสูจน์ผลลัพธ์ที่เป็นไปไม่ได้ของฉันทามติแม้ว่าจะมีเพียงกระบวนการเดียวที่ล้มเหลว: ปัญหาฉันทามติเกี่ยวข้องกับระบบอะซิงโครนัสของกระบวนการซึ่งบางอย่างอาจไม่น่าเชื่อถือ ปัญหาสำหรับกระบวนการที่เชื่อถือได้เพื่อยอมรับค่าไบนารี ในบทความนี้จะแสดงให้เห็นว่าทุกโปรโตคอลสำหรับปัญหานี้มีความเป็นไปได้ของการกำจัดไม่ได้แม้จะมีเพียงหนึ่งกระบวนการที่ผิดพลาด ดังนั้นเราสามารถบรรลุข้อสรุปต่อไปนี้: ฉันทามติดีกว่า linearizability หรือไม่ อะไรคือข้อโต้แย้งของฉัน มีการอ้างอิงโดยตรงสำหรับข้อสรุปความเท่าเทียมกันหรือไม่?

9 reference-request  dc.distributed-comp 

แก้ไข:ขณะนี้มีคำถามติดตามที่เกี่ยวข้องกับโพสต์นี้ คำนิยาม ปล่อย ccc และ kkkเป็นจำนวนเต็ม เราใช้สัญลักษณ์[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\}. Aเมทริกซ์กล่าวกันว่าเป็นc×cc×cc \times cM=(mi,j)M=(mi,j)M = (m_{i,j})ccc-to- colouring matrixkkkหากการเก็บรักษาต่อไปนี้: เรามีสำหรับทั้งหมด ,mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] สำหรับทุกกับและเรามีell}i,j,ℓ∈[c]i,j,ℓ∈[c]i,j,\ell \in [c]i≠ji≠ji \ne jj≠ℓj≠ℓj \ne \ellmi,j≠mj,ℓmi,j≠mj,ℓm_{i,j} \ne m_{j,\ell} เราเขียนถ้ามีอยู่ค -to- kสีเมทริกซ์c⇝kc⇝kc \leadsto kccckkk โปรดทราบว่าองค์ประกอบแนวทแยงนั้นไม่เกี่ยวข้อง เราสนใจ แต่องค์ประกอบที่ไม่ใช่แนวทแยงของMMMเท่านั้น มุมมองทางเลือกต่อไปนี้อาจเป็นประโยชน์ ปล่อยR(M,ℓ)={mℓ,i:i≠ℓ}R(M,ℓ)={mℓ,i:i≠ℓ}R(M,\ell) = \{ m_{\ell,i} : i \ne \ell \}เป็นเซตขององค์ประกอบที่ไม่เป็นแนวทแยงมุมในแถวℓℓ\ellและให้C(M,ℓ)={mi,ℓ:i≠ℓ}C(M,ℓ)={mi,ℓ:i≠ℓ}C(M,\ell) …

9 co.combinatorics  lower-bounds  dc.distributed-comp