컴퓨터 과학

다음에 대한 증거를 제시하려고합니다. 모든 언어 ㅏㅏA 에 대해 A \ le _ {\ mathrm {T}} B 이지만 B \ nleq _ {\ mathrm {T}} A 와 같은 언어 B 가 있습니다 .비비Bㅏ≤티비ㅏ≤티비A \le_{\mathrm{T}} B≰티ㅏ≰티ㅏ\nleq_{\mathrm{T}} A 나는시키는 생각하고 있었는데 비비B 가 될 ㅏT Mㅏ티미디엄A_{\mathrm{TM}} 하지만 모든 언어에 환원 튜링되어 있지 …

9 computability  reductions  undecidability 

Crypto Stack Exchange 의이 질문에 대한 대답은 기본적으로 로그 문제의 복잡성을 측정하려면 그룹의 크기를 나타내는 숫자의 길이를 고려해야한다고 말합니다. 임의적 인 것 같습니다. 그룹의 크기를 인수로 선택하지 않겠습니까? 어떤 주장을 선택해야하는지에 대한 기준이 있습니까? 사실, 그룹 규모에 따라 복잡성이 크게 변하기 때문에 중요한 것을 간과했습니다.

9 time-complexity  discrete-mathematics  cryptography 

최대 이분법 일치 문제에서 최대 흐름 문제로 유명하고 우아하게 축소되었습니다. 소스 노드가있는 네트워크를 만듭니다. 에스ss터미널 노드 티tt각 항목에 대해 하나의 노드를 일치시킨 다음 적절한 모서리를 추가하십시오. 다항식 시간에서 최대 흐름을 최대이 분식 매칭으로 최대 흐름을 줄이는 방법은 확실히 있습니다. 두 방법 모두 다항식 시간으로 각각 해결할 수 있기 때문입니다. 그러나 …

9 reductions  network-flow  bipartite-matching 

나는 생산하고 싶다 kkk 최단 경로 (kkk그래프의 모든 쌍 사이에서 10보다 작을 것입니다. 그래프는 (실제로 지하철 노선도) : 긍정적으로 가중 방향이없는 부족한 약 100 노드 나의 현재 계획은 적용하는 것입니다 kkk각 쌍으로의 최단 경로 라우팅 ; 이제 더 효율적인 대안을 찾고 있습니다 (동적 프로그래밍 가능).

9 algorithms  graphs  optimization  shortest-path 

간단한 폴리곤의 삼각 측량 (스타 인 포인트없이) PPP이 삼각 분할의 이중을 고려할 수 있는데 이는 다음과 같이 정의됩니다. 삼각 분할의 모든 삼각형에 대해 꼭짓점을 만들고 해당 삼각형이 모서리를 공유하면 두 개의 꼭짓점을 연결합니다. 이중 그래프는 최대 차수가 3 인 나무로 알려져 있습니다. 본인의 신청에는 다음에 관심이 있습니다. 주어진 나무TTT 최대 …

9 reference-request  computational-geometry 

일반적으로 while 루프의 구조적 작동 의미 론적 표현에서 프로그램 상태는 변경되지 않습니다. (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) 나에게 이것은 상태가 변하지 않으면 (즉, 메모리 상태가 동일하게 유지되는 경우) 직관적이지 않습니다. BBB …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

이분 그래프는 또는 마이너 가없는 경우 평면 입니다.케이3 , 3K3,3K_{3, 3}케이5K5K_5 가장자리가없는 "정점"세트가없는 평면 도면을 허용하는 데 필요한 또는 충분한 조건을 찾고 있습니다. 다음은 만족하는 도면입니다. 한 부분의 모든 정점이 단일 세로선으로 그려집니다. 다른 부분의 꼭짓점은 평행 한 버티 클 선에 그려집니다. 꼭지점을 제외하고는 모서리가 교차하지 않습니다. 모서리는 모두 점 …

9 graph-theory  terminology  graph-drawing 

내가 프로그래밍 언어에 대한 구현 기술로보고, 최근 가정 (예를 들어, 자신의 사용 주어진 연속 통과 스타일의 모델에 적합하다 스파게티 스택, 건너 온거야 계획 및 SML / NJ ). 간단히하기 위해이 질문에 대한 단일 스레드 프로세스 만 고려해 봅시다. 그러나 Wikipedia 의 다이어그램 ( 다른 곳 에서도 찾을 수 있음 ) …

9 data-structures  programming-languages  continuations 

이 질문은 중단 문제에 대해 나에게 제기되었으며 온라인에서 누군가가 도울 수 있는지 궁금해하는 좋은 대답을 찾을 수 없었습니다. 입력이 TM 자체가 아닌 한 모든 입력의 TM에 대해 정지 문제를 결정할 수 있습니까? 원래: Halts(TM, I) IF TM == I: Undecidable, return a random result/throw an exception, whatever ELSE: Solve the …

9 computability  undecidability  halting-problem 

Randomized Meldable Heaps 에는 "meld"연산이 있으며, 삽입을 포함하여 다른 모든 연산을 정의하는 데 사용됩니다. 문제는 노드 가있는 트리의 예상 높이는 얼마입니까?nnn Gambin and Malinkowski의 정리 1, Randomized Meladable Priority Queues (SOFSEM 1998, Progress of Computer Science vol. 1521, pp. 344–349, 1998; PDF )는이 질문에 대한 답을 증명합니다. 그러나 다음과 같이 …

9 algorithm-analysis  data-structures  randomized-algorithms  heaps 

DFA, NFA 및 엡실론 NFA를 사용하면 특정 정규 언어를 대표 할 수 있습니다. 이러한 표현 중 하나를 사용하여 동일한 정규 표현식에 도달 할 수 있는데, 왜 유한 오토마타의 세 가지 표현 방식을 모두 연구해야합니까? DFA가 할 수없는 NFA가 무엇을 할 수 있는지에 대한 설명이있을 수 있습니다. 즉 NFA는 불확실성 설계에 …

9 automata  finite-automata  education 

오늘 점심 시간에, 나는 동료들과 함께이 문제 를 제기했고 놀랍게도 문제가 결정 가능하다는 Jeff E.의 주장은 그것들을 설득하지 못했다 ( 여기서 mathoverflow에 밀접하게 관련된 글이있다). 설명하기 쉬운 문제 설명 ( "P = NP?")도 예 또는 아니오로 결정할 수 있으므로 항상 해당 답변을 출력하는 두 TM 중 하나가 문제를 결정합니다. 공식적으로, …

9 computability  undecidability 

3 색이 결정 가능하다는 것을 증명하기 위해 다음과 같이 말하는 것으로 충분합니다. 그래프의 각 노드에는 3 가지 가능한 색상이 있습니다 따라서 우리는 모든 것을 열거 할 수 있습니다 삼엔삼엔3^n 가능성을 확인한 다음 두 모서리가 동일한 색상의 노드를 연결하지 않는지 확인하십시오. 3 색을 결정할 수 있다는 것을 증명합니까? 또는 적절한 증거를 …

9 computability  turing-machines  colorings 

나는 유리한 지점 나무를 배우고 있으며 Peter Yianilos의 일반 측정 공간에서 가장 가까운 이웃 검색을위한 데이터 구조 및 알고리즘 논문 (SODA 1993 , SIAM, 311–321 페이지; PDF ) 을 읽는 동안 이것을 만났습니다 . 다음 의사 코드는 알고리즘 1에 나타납니다. Make_vp_tree (S 함수)만약 S= ∅ 후 반환 ∅새로운 (노드);마디↑.p : …

9 notation 

주어진 문자열 sss, 나는 가장 긴 반복 (적어도 두 번) 하위 시퀀스를 찾고 싶습니다. 즉, 문자열을 찾고 싶습니다www 이는 하위 시퀀스 (연속적 일 필요는 없음)입니다. sss 그런 w=w′⋅w′w=w′⋅w′w=w' \cdot w' . 그건,www반은 연속으로 두 번 나타나는 문자열입니다. 참고www 하위 시퀀스입니다 sss이지만 반드시 하위 문자열 일 필요는 없습니다. 예 : 'ababccabdc'의 …

9 algorithms  optimization  dynamic-programming  strings  subsequences