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

กล่าวโดยย่อ: ระบบการจำแนกประเภทเป็นอย่างไรในบริบททางวิชาการ โดยเฉพาะอย่างยิ่งฉันสามารถหาแหล่งที่มีชื่อเสียงที่สร้างความแตกต่างระหว่างระบบประเภทที่แตกต่างกันได้อย่างไร ในความรู้สึกความยากลำบากของคำถามนี้ไม่ใช่ว่าฉันไม่สามารถหาคำตอบได้ แต่ฉันสามารถค้นหาได้มากเกินไปและไม่มีใครโดดเด่นเท่าที่ควร พื้นหลังฉันพยายามปรับปรุงบทความใน Haskell wiki เกี่ยวกับการพิมพ์ซึ่งในปัจจุบันอ้างว่ามีความแตกต่างดังต่อไปนี้: ไม่มีการพิมพ์: ภาษาไม่มีความคิดประเภทหรือจากมุมมองที่พิมพ์: มีประเภทเดียวในภาษา ภาษาแอสเซมบลีมีชนิด 'รูปแบบบิต' เท่านั้น Rexx และ Tk มีเฉพาะชนิด 'ข้อความ' แกน MatLab มีเฉพาะ 'เมทริกซ์ที่ซับซ้อนที่มีมูลค่า' ประเภท การพิมพ์ที่อ่อนแอ: มีประเภทที่แตกต่างเพียงไม่กี่ประเภทและอาจเป็นคำพ้องความหมายสำหรับหลายประเภท เช่น C ใช้ตัวเลขจำนวนเต็มสำหรับ booleans, จำนวนเต็ม, ตัวอักษร, ชุดบิตและการแจกแจง การพิมพ์ที่แข็งแกร่ง: ชุดเม็ดเล็กแบบละเอียดเช่นในภาษา Ada, ภาษา Wirthian (Pascal, Modula-2), Eiffel ทั้งหมดนี้ขัดกับการรับรู้ส่วนบุคคลของฉันซึ่งเป็นไปตาม: การพิมพ์ที่อ่อนแอ: ออบเจ็กต์มีประเภท แต่จะถูกแปลงเป็นประเภทอื่นโดยปริยายเมื่อบริบทต้องการ ยกตัวอย่างเช่น Perl, PHP และ …

23 reference-request  programming-languages  type-theory 

เมื่อพูดถึงการออกแบบอัลกอริธึมมักใช้เทคนิคต่อไปนี้: การเขียนโปรแกรมแบบไดนามิก กลยุทธ์โลภ แบ่งและพิชิต ในขณะที่วิธีการสองวิธีแรกมีรากฐานทางทฤษฎีที่รู้จักกันดีคือหลักการของ Bellman Optimality และ matroid (resp. greedoid) ทฤษฎีฉันไม่สามารถหากรอบทั่วไปสำหรับอัลกอริธึมตาม D&C ประการแรกฉันตระหนักถึงบางสิ่งบางอย่างที่เรา (หรือมากกว่าผู้เชี่ยวชาญ) ที่แนะนำในคลาสการเขียนโปรแกรมใช้งานได้เรียกว่า "โครงกระดูกอัลกอริทึม" ที่เกิดขึ้นในบริบทของ combinators ตัวอย่างของที่นี่เราให้โครงกระดูกดังกล่าวสำหรับอัลกอริธึม D&C ดังนี้: คำนิยาม : ปล่อยให้เป็นเซตที่ไม่ว่างเปล่า เราเรียกองค์ประกอบของโซลูชั่นและองค์ประกอบของ (นั่นคือส่วนย่อยของ) จะเรียกว่าเป็นปัญหา จากนั้นD & C- โครงกระดูกคือ tuple 4โดยที่:SA,SA,SA,SSSS AP:=P(A)P:=P(A)P:=\mathfrak{P}(A)AAA(Pβ,β,D,C)(Pβ,β,D,C)(P_\beta, \beta, \mathcal{D}, \mathcal{C}) PβPβP_\betaเป็นกริยามากกว่าชุดของปัญหาและเราบอกว่าปัญหาที่เกิดขึ้นเป็นพื้นฐาน IFFถือpppPβ(p)Pβ(p)P_\beta(p) ββ\betaเป็นการแมปที่กำหนดวิธีแก้ปัญหาสำหรับปัญหาพื้นฐานแต่ละข้อPβ→SPβ→SP_\beta \rightarrow S DD\mathcal{D}คือการแมป ที่แบ่งแต่ละปัญหาออกเป็นชุดย่อยของปัญหาP→P(P)P→P(P)P \rightarrow \mathfrak{P}(P) CC\mathcal{C}คือการทำแผนที่ที่เข้าร่วมการแก้ปัญหา (ขึ้นอยู่กับชนิดของ "ปัญหาการหมุน") …

22 algorithms  reference-request  divide-and-conquer 

ฉันได้ทำเนื้อหาส่วนใหญ่ในหนังสือ Intro to Algorithms ของ Cormen แล้วและฉันกำลังมองหาหนังสืออัลกอริทึมที่ครอบคลุมเนื้อหามากกว่าหนังสือของ Corman มีคำแนะนำอะไรบ้าง? หมายเหตุ: ฉันถามสิ่งนี้ใน stackoverflow แต่ไม่พอใจกับคำตอบทั้งหมด หมายเหตุ: การดูความคิดเห็นส่วนใหญ่ฉันคิดว่าฉันควรจะหาหนังสือที่ครอบคลุมเนื้อหาของหลักสูตร 787 ในคำอธิบายหลักสูตรนี้

21 algorithms  reference-request  books 

คำถามนี้ถูกย้ายจาก Theoretical Computer Science Exchange Exchange เนื่องจากสามารถตอบได้ใน Computer Science Stack Exchange อพยพ 7 ปีที่ผ่านมา หนังสือวิทยาศาสตร์คอมพิวเตอร์สำหรับผู้เริ่มต้นที่ดีสำหรับเด็กอายุ 15 ปีคืออะไร? ฉันต้องการเริ่มต้นใน CS แต่ไม่รู้ว่าจะเริ่มจากตรงไหน ฉันมีประสบการณ์ จำกัด ในการเขียนโปรแกรม

21 education  reference-request 

ฉันมักจะโต้ตอบกับผู้ที่ต้องการขออัลกอริทึมสำหรับปัญหาการคำนวณ (หรือความซับซ้อนของมัน) แต่พวกเขาไม่ได้แสดงมันอย่างเข้มงวดเพื่อให้เรา (นักวิทยาศาสตร์คอมพิวเตอร์) เข้าใจ การอ้างถึงหนังสือเช่น CLRS นั้นไม่เป็นประโยชน์เพราะตัวอย่างมักจะมีวิธีการที่ค่อนข้างตรงไปตรงมาในการระบุอย่างจริงจังเช่นให้รายชื่อของกราฟและสองจุดยอดในการคำนวณเส้นทางที่สั้นที่สุดระหว่างจุดเหล่านั้น มีหนังสือดี ๆ (หรือแหล่งข้อมูลอื่น ๆ ) ที่บุคคลที่มีความรู้น้อยที่สุดของ CS สามารถเรียนรู้ได้อย่างไรว่าเราควรกำหนดและระบุปัญหาการคำนวณด้วยวิธีที่เข้มงวดซึ่งเป็นที่เข้าใจของนักวิทยาศาสตร์คอมพิวเตอร์หรือไม่ โดยเฉพาะอย่างยิ่งหนังสือควรมีตัวอย่างมากมายของวิธีการกำหนดปัญหาการคำนวณอย่างจริงจังจากตัวอย่างของโดเมนและโลกแห่งความจริงที่หลากหลาย การอธิบาย หากต้องการทำให้คำถามมีความเฉพาะเจาะจงมากขึ้นสมมติว่าพวกเขารู้คำศัพท์ทางคณิตศาสตร์ / CS พื้นฐานเช่นชุดฟังก์ชั่นกราฟรายการ ฯลฯ ในระดับชั้นปีที่ 1/2 นักศึกษาปริญญาตรี CS (ซึ่งเป็นกรณีของคนที่ฉันมี ใจ) ตัวอย่างเช่นพวกเขาได้อ่านตำราเรียนเบื้องต้นเช่น Aho และ Ullman (แม้ว่าพวกเขาอาจจะยังไม่เข้าใจทั้งหมดก็ตาม) อัล Aho และเจฟฟ์ Ullman มูลนิธิวิทยาศาสตร์คอมพิวเตอร์ 2535

20 algorithms  reference-request  books 

เมื่อเร็ว ๆ นี้ผมพบว่าในกระดาษ [1] รุ่นสมมาตรพิเศษ SAT เรียกว่า2/2 / 4-SAT แต่มีตัวแปรสมบูรณ์หลายตัวเช่นMONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} ตัวแปรอื่น ๆ สามารถใช้การได้: - SAT , Planar-NAE- SAT , ...222SATSAT\text{SAT}SATSAT\text{SAT} มีเอกสารสำรวจ (หรือหน้าเว็บ) ที่จำแนกประเภท (แปลก) ทั้งหมดที่ได้รับการพิสูจน์แล้วว่าเป็นแบบNP- ที่สมบูรณ์ (หรือเป็นP )SATSAT\text{SAT}NPNP\text{NP}PP\text{P} การหาวิธีการแก้ปัญหาที่สั้นที่สุดสำหรับ x Nส่วนขยายของ 15 ปริศนาเป็นว่ายากNNNNNNโดย D. รัทเนอร์และเอ็ม Warmuth (1986)

20 complexity-theory  reference-request  satisfiability 

ฉันอ่านวรรณกรรมเมื่อเร็ว ๆ นี้และพบว่ามีโครงสร้างข้อมูลที่น่าสนใจอยู่บ้าง ฉันได้ค้นคว้าวิธีที่แตกต่างหลากหลายในการทำให้เวลาการอัปเดตลดลงเป็นเวลาอัปเดตกรณีที่เลวร้ายที่สุด [1-7]O ( 1 )O(1)\mathcal{O}(1) เมื่อเร็ว ๆ นี้ฉันเริ่มค้นหาโครงสร้างข้อมูลที่ไม่ล็อคเพื่อสนับสนุนการเข้าถึงพร้อมกันอย่างมีประสิทธิภาพ มีกรณีที่เลวร้ายที่สุดเทคนิคการอัปเดตใด ๆ เหล่านี้ถูกนำมาใช้ในการใช้โครงสร้างข้อมูลที่ไม่ล็อคหรือไม่?O ( 1 )O(1)\mathcal{O}(1) ฉันถามเพราะ; สำหรับฉันพวกเขาดูเหมือนการขยายการปฏิบัติที่ชัดเจนของ "การเพิ่มประสิทธิภาพเชิงทฤษฎี" นี้ Tarjan, Robert Endre “ การปรับปรุงโครงสร้างการค้นหาที่สมดุลในการหมุน O (1)” ตัวประมวลผลข้อมูล 16, ไม่ใช่ 5 (1983): 253 - 257 Driscoll, JR, N Sarnak, DD Sleator และ RE Tarjan “ การทำให้โครงสร้างข้อมูลคงทน” ในการประชุมวิชาการ ACM ประจำปีที่สิบแปดเรื่องทฤษฎีคอมพิวเตอร์, …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

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

20 reference-request  human-computing 

อัลกอริธึมที่ซับซ้อนบางอย่าง ( ยูเนี่ยน - พบ ) มีฟังก์ชัน Ackermann ผกผันเกือบคงที่ที่ปรากฏในความซับซ้อนของเวลาแบบอะซิมโทติคและเป็นเวลาที่เลวร้ายที่สุดกรณีที่เหมาะสมที่สุดถ้าเทอม Ackermann ผกผันเกือบคงที่ มีตัวอย่างของอัลกอริธึมที่ทราบพร้อมเวลาทำงานที่เกี่ยวข้องกับฟังก์ชันที่เติบโตช้ากว่า Invermann หรือไม่ (เช่นผู้บุกรุกฟังก์ชันที่ไม่เทียบเท่า Ackermann ภายใต้พหุนามหรือเอกซ์โปเนนเชียล ฯลฯ ) ที่ให้เวลากรณีเลวร้ายที่สุด ซับซ้อนในการแก้ปัญหาพื้นฐานหรือไม่

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

ภาษาที่ไม่มีบริบทไม่ได้ปิดอยู่ภายใต้การใช้งานจริงเรารู้ว่า เท่าที่ฉันเข้าใจภาษาที่ไม่มีบริบทซึ่งเป็นชุดย่อยของสำหรับจดหมายบางตัวถูกปิดภายใต้ส่วนเติมเต็ม (!?) a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b นี่คือข้อโต้แย้งของฉัน แต่ละภาษา CFมีกึ่งเชิงเส้น Parikh ภาพ\} ชุด Semilinear ถูกปิดภายใต้ส่วนประกอบ ชุดของเวกเตอร์ที่แสดงถึงชุดกึ่งเชิงเส้นสามารถแปลงเป็นไวยากรณ์เชิงเส้นได้อย่างง่ายดายπ ( L ) = { ( m , n ) ∣ a m b n ∈ L }LLLπ(L)={(m,n)∣ambn∈L}π(L)={(m,n)∣ambn∈L}\pi(L) = \{ (m,n) \mid a^mb^n \in L \} คำถาม. มีการอ้างอิงถึงข้อเท็จจริงนี้ได้อย่างง่ายดายหรือไม่? เทคนิคภาษาเหล่านี้จะเรียกว่าล้อมรอบคือส่วนหนึ่งของสำหรับคำบางคำw_1 w 1 , … , w …

20 formal-languages  reference-request  context-free  closure-properties 

การปรับแต่งพาร์ติชันเป็นเทคนิคที่คุณเริ่มต้นด้วยชุด จำกัด ของวัตถุและแบ่งชุดอย่างต่อเนื่อง ปัญหาบางอย่างเช่นการย่อขนาด DFA สามารถแก้ไขได้โดยใช้การปรับแต่งพาร์ติชันอย่างมีประสิทธิภาพ ฉันไม่ทราบปัญหาอื่น ๆ ที่มักแก้ไขได้โดยใช้การปรับแต่งพาร์ติชันที่นอกเหนือจากที่ระบุไว้ในหน้า Wikipedia จากปัญหาเหล่านี้ทั้งหมดหน้า Wikipedia กล่าวถึงสองขั้นตอนวิธีซึ่งใช้การปรับแต่งพาร์ติชันในเวลาเชิงเส้น มีการจัดเรียงทอพอโลยีแบบเรียงลำดับตามคำศัพท์ [1] และอัลกอริธึมสำหรับการค้นหาพจนานุกรมแบบกว้างคำแรก [2] มีตัวอย่างอื่น ๆ หรือการอ้างอิงถึงปัญหาที่สามารถแก้ไขได้โดยใช้การปรับแต่งพาร์ทิชันอย่างมีประสิทธิภาพมากหมายถึงสิ่งที่ดีกว่า loglinear ในแง่ของเวลา? [1] Sethi, Ravi, "กราฟการกำหนดเวลาในโปรเซสเซอร์สองตัว", SIAM Journal on Computing 5 (1): 73–82, 1976 [2] Rose, DJ, Tarjan, RE, Lueker, GS, "อัลกอริทึมของการกำจัดจุดยอดบนกราฟ", SIAM Journal on Computing 5 (2): 266–283, 1976

20 algorithms  reference-request  data-structures  partitions  sets 

ฉันมีปัญหาในการยอมรับมุมมองเชิงทฤษฎีที่ซับซ้อนของ "การแก้ไขอย่างมีประสิทธิภาพโดยอัลกอริทึมแบบขนาน" ซึ่งให้โดยNCระดับ: NC เป็นชั้นของปัญหาที่สามารถแก้ไขได้โดยขั้นตอนวิธีการแบบคู่ขนานในเวลาบนประมวลผลด้วย{N}p ( n ) ∈ O ( n k ) c , k ∈ NO ( บันทึกคn )O(logc⁡n)O(\log^cn)p ( n ) ∈ O ( nk)p(n)∈O(nk)p(n) \in O(n^k)c,k∈Nc,k∈Nc,k \in \mathbb{N} เราสามารถสมมติรถเข็น ปัญหาของฉันคือสิ่งนี้ดูเหมือนจะไม่ค่อยพูดเกี่ยวกับเครื่องจักร "ของจริง" นั่นคือเครื่องจักรที่มีตัวประมวลผลจำนวน จำกัด ตอนนี้ฉันได้รับการบอกแล้วว่า "เป็นที่รู้กันดีว่า" เราสามารถ "มีประสิทธิภาพ" จำลองอัลกอริทึมของตัวประมวลผลบนตัวประมวลผลp ∈ NO(nk)O(nk)O(n^k)p∈Np∈Np \in \mathbb{N} "ประสิทธิภาพ" หมายถึงอะไรที่นี่ ชาวบ้านนี้หรือมีทฤษฎีบทที่เข้มงวดซึ่งคำนวณปริมาณค่าใช้จ่ายที่เกิดจากการจำลอง? …

20 complexity-theory  reference-request  parallel-computing 

อัลกอริธึมการไหลสูงสุดจำนวนมากที่ฉันเห็นโดยทั่วไปว่านำไปใช้งานอัลกอริทึมของ Dinic พุช relabel และอื่น ๆ สามารถทำให้ต้นทุนเวลาของพวกเขาดีขึ้นด้วยการใช้ต้นไม้ไดนามิก (หรือที่รู้จักกันในชื่อต้นไม้ตัดลิงก์) Push relabel ทำงานในหรือหรือตามปกติ แต่มีต้นไม้แบบไดนามิกO ( V2E)O(V2E)O(V^2E)O ( V3)O(V3)O(V^3)O ( V2E--√)O(V2E)O(V^2\sqrt{E})O ( VEเข้าสู่ระบบ( ฉบับที่2/ E) )O(VElog⁡(V2/E))O(VE \log(V^2/E)) อัลกอริทึมของ Dinic ทำงานในแต่ด้วยต้นไม้แบบไดนามิกO ( V2E)O(V2E)O(V^2E)O ( VEเข้าสู่ระบบ( ฉบับที่) )O(VElog⁡(V))O(VE\log(V)) อย่างไรก็ตามการใช้งานจริงของอัลกอริธึม max-flow ในไลบรารีส่วนใหญ่ดูเหมือนจะไม่ใช้ประโยชน์จากโครงสร้างข้อมูลนี้ ต้นไม้แบบไดนามิกเคยใช้ในทางปฏิบัติสำหรับการคำนวณการไหลสูงสุดหรือไม่ หรือพวกเขามีค่าใช้จ่ายมากเกินไปที่จะเป็นประโยชน์สำหรับขนาดของปัญหาโลกแห่งความจริง? มีโดเมนปัญหาอื่น ๆ อีกหรือไม่ที่มีการใช้การเชื่อมโยงทรี? คำถามนี้เกี่ยวข้องกับคำถามที่ฉันถามใน cstheory: มีอัลกอริธึม Maximum Flow อันทันสมัยที่สุดหรือไม่?

20 reference-request  graphs  data-structures  network-flow 

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

19 terminology  reference-request  machine-learning  history 

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

19 algorithms  reference-request  sorting