컴퓨터 과학

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . 나는 재귀적이고 재귀 적으로 열거 가능한 언어에 대한 많은 정의를 보았습니다. 그러나 나는 그들이 무엇인지 이해할 수 없었다. 어떤 사람들이 간단한 단어로 무엇인지 말해 줄 수 …

24 formal-languages  computability  turing-machines 

계산상의 문제가 있다면, 그러한 계산에 대한 하한을 찾는 작업이 실제로 가능합니까? 단일 계산 단계가 어떻게 정의되고 증명에 어떤 모델을 사용하는지에 달려 있지만 일반적으로 하한을 일반적으로 증명합니까? 내가 의미하는 바는 "문제 가 시간 보다 더 빨리 해결할 수 없음 "과 같은 문제를 증명할 수 있다는 것 입니다.t ( X ) X엑스엑스Xt …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

시간 복잡도가 O ( mn ) 인 함수가 있는데 , 여기서 m 과 n 이 두 입력의 크기 인 경우, 시간 복잡도를 "선형"( m 과 n 모두에서 선형이므로 ) 또는 "2 차"( 두 가지 크기의 제품이기 때문에)? 또는 다른 것? O (m + n)도 선형이지만 훨씬 빠르기 때문에 "선형"이라고 부르는 …

24 terminology  asymptotics  landau-notation 

다른 교단 동전의 집합을 감안할 때 및 값 v v 값 v를 나타내는 데 필요한 최소 코인 수를 찾으려고합니다.C 1 , . . . , c nc1,...,cnc1, ... , cn 예를 들어 주화 1,5,10,20의 경우 합계 6의 경우 2 개의 주화와 합계 19의 경우 6 개의 주화가 제공됩니다. 내 주요 …

24 algorithms  combinatorics  greedy-algorithms 

하자 사업자와 일부 변수 보통 AND, OR 및 NOT으로 구성된 부울 수식합니다. 대한 만족스러운 과제 수를 세고 싶습니다 . 즉, 나는의 변수 진리 값을 다른 할당의 수를 찾으려면 하는 true 값을 가정합니다. 예를 들어, 수식 에는 세 가지 만족스러운 할당이 있습니다. 는 4 개입니다. 이것이 #SAT 문제 입니다.B B B …

24 complexity-theory  reference-request  satisfiability 

와 같이 꼭지점과 모서리가 있는 비가 중, 무 방향 그래프 에서 그래프에서 가장 짧은 경로를 찾는 가장 빠른 방법은 무엇입니까? 이지만 반복 당 매우 빠른 Floyd-Warshall보다 빠르게 수행 할 수 있습니까 ?E 2 V > E O ( V 3 )VVVEEE2V>E2V>E2V \gt EO(V3)O(V3)O(V^3) 그래프에 가중치가 부여되면 어떻습니까?

24 algorithms  graphs  shortest-path 

분산 시스템 이론, 서적 또는 참고 자료 및 주제에 대해 잘 소개하기 위해 누구나 할 수있는 가장 좋은 방법은 무엇입니까?

24 reference-request  education  distributed-systems 

영어의 'implies'는 일상적인 언어 사용에서 대부분의 경우 'OR'단어가 'Exclusive OR'을 의미하는 것과 비슷한 방식으로 논리 연산자 'implies'와 동일한 것을 의미하지는 않습니다. 두 가지 예를 들어 보자. 오늘이 월요일이면 내일은 화요일입니다. 이다 사실 . 그러나 우리가 말한다면 : 태양이 녹색이면 잔디는 녹색입니다. 이것은 또한 사실로 간주됩니다. 왜? 이 뒤에 자연 영어의 …

24 terminology  logic  first-order-logic  propositional-logic 

놀랍게도 수많은 문제는 선형 프로그래밍 (LP)을 상당히 자연스럽게 감소시킵니다. 네트워크 흐름, 이분법 일치, 제로섬 게임, 최단 경로, 선형 회귀 및 회로 평가와 같은 예는 [1]의 7 장을 참조하십시오 ! 회로 평가는 선형 프로그래밍으로 줄어들 기 때문에 모든 문제 에는 선형 프로그래밍 공식이 있어야합니다. 따라서 선형 프로그램으로 축소하여 "새로운"정렬 알고리즘이 있습니다. …

24 algorithms  reductions  sorting  linear-programming 

현재 유 방향 그래프에서 최단 경로를 연구하고 있습니다. dijkstra 또는 bellman-ford와 같이 네트워크에서 가장 짧은 경로를 찾기위한 효율적인 알고리즘이 많이 있습니다. 그러나 그래프가 동적이라면 어떻게 될까요? 동적이라고 말하면 프로그램을 실행하는 동안 정점을 삽입하거나 제거 할 수 있습니다. 새 그래프에서 가장 짧은 경로 알고리즘을 다시 실행할 필요없이 가장자리 e를 삽입 한 …

24 algorithms  data-structures  graphs  efficiency  shortest-path 

자연수 X의 여러 세트가 주어지면 가능한 모든 합계 세트를 고려하십시오. sums(X)={∑i∈Ai|A⊆X}sums(X)={∑i∈Ai|A⊆X}\textrm{sums}(X)= \left\{ \sum_{i \in A} i \,|\, A \subseteq X \right\} 예를 들어 sums({1,5})={0,1,5,6}sums({1,5})={0,1,5,6}\textrm{sums}(\left\{1,5\right\}) = \left\{0, 1, 5, 6\right\} 반면 sums({1,1})={0,1,2}sums({1,1})={0,1,2}\textrm{sums}(\left\{1,1\right\}) = \left\{0, 1, 2\right\} 입니다. 역 연산을 계산하기위한 가장 효율적인 알고리즘은 무엇입니까 (입력 합의 크기로 측정)? 특히 다음 중 …

24 algorithms  optimization  combinatorics  integers 

최근의 CACM 기사 [1]에서, 저자는 단계별 기능에 대한 구현을 제시합니다 . 그들은 잘 알려진 것처럼이 용어를 사용하며, 어떤 언급도 명백한 소개처럼 보이지 않습니다. 그들은 짧은 설명을 제공합니다 (강조 광산과 참조 번호가 변경되었습니다. 원래는 22입니다) 프로그램 생성과 관련하여 Taha and Sheard [2]에 의해 확립 된 다단계 프로그래밍 (MSP, 짧게 스테이징) 은 …

24 terminology  programming-languages  meta-programming 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 방금이 흥미로운 질문이있었습니다. 인간에게 가장 빠르게 성장하는 기능은 무엇입니까? 그것은인가 바쁜 비버 ? 우리는 와 같은 함수를 알고 있지만,이 함수는 보다 느리게 증가하고 , 그 결과 …

24 computability 

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . LMC (Logical Min Cut) 문제 정의 가 가중이 아닌 그래프이고 및 가 두 꼭짓점 이고 가 에서 도달 할 수 있다고 가정합니다 . 우리가 할 수있는 방법을 LMC 문제 연구 …

24 complexity-theory  graph-theory  np-complete 

임의의 순서로 항목 목록을 생성하는 두 가지 방법이 있으며 이들이 공정하게 공정한지 (비 편향적인지) 확인하고 싶습니다. 내가 사용하는 첫 번째 방법은 전체 요소 목록을 구성한 다음 셔플을 수행하는 것입니다 (예 : Fisher-Yates 셔플). 두 번째 방법은 매번 삽입 할 때마다 목록을 셔플 링하는 반복적 인 방법입니다. 의사 코드에서 삽입 기능은 …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness