디지털화에서 선분의 기울기를 복구하는 작업이 있습니까? 물론 완벽한 정확성으로 이것을 할 수는 없습니다. 원하는 것은 가능한 기울기 간격을 디지털화 된 선에서 도출하는 방법입니다. (내가 사용하는 디지털 라인의 개념은 Rosenfeld의 것입니다 : 쌍 세트 여기서 i 는 정수 (또는 연속 정수 블록)와 는 가장 가까운 정수를 나타냅니다 ( 이면 ).( i …
이 질문에는 분명한 대답이있을 수 있지만 여기에 질문이 있습니다. 직관적으로, 다음과 같은 그럴듯한 진술입니다. "서브 루틴 A를 갖는 서브 루틴 A를 가진 기계는 서브 루틴 B를 액세스 할 수있는 서브 루틴 A를 가진 기계와 같습니다". 이 문제를 공식적으로 정의하기 위해 기존의 표기법을 사용하겠습니다. 내가 말할 때 , 내가 포기하고 A의 …
일대 감소와 튜링 감소로 정의 된 NPC 클래스가 같은지 궁금합니다. 편집 : 또 다른 질문은 Turing 감소가 일부 C의 C 및 co-C 클래스 만 축소 시키거나 Karp 감소 에서 C ∪ c o − C 에 없는 문제 가 있고 C 에서 Turing 감소 아래에 있는 문제가있는 것과 같은 클래스 …
문헌에 다음과 같은 문제에 가까운 것이 있습니까? 된 그래프 주어 균형 bipartition와 , 완전한 정합이 존재하는 에 매 2 개 에지가되도록 , 에지가 또는 가장자리 (또는 둘 다) ?지 ( V), E)G(V,E)G(V,E){ U, W}{U,W} \{U,W\}미디엄M M 지G G 유1승1,유2승2∈ 남u1w1,u2w2∈Mu_1w_1, u_2w_2\in M 유1승2u1w2u_1w_2유2승1u2w1u_2w_1지G G 다시 말해, 유도 된 서브 그래프 …
음이 아닌 간선 가중치와 두 개의 고유 정점 s,ts,ts,t 로 연결된 무 방향 그래프를 고려하십시오 . 다음은 모두 다음과 같은 형식의 일부 경로 문제입니다. 경로에서 가장자리 가중치의 일부 기능이 최소가 되도록 s−ts−ts-t 경로를 찾으십시오 . 이런 의미에서 그것들은 모두 최단 경로 문제의 "상대적"입니다. 후자의 함수는 단순히 합계입니다. 참고 : 우리는 …
Robin Gandy 는 Alan Turing 의 학생이었습니다 . Gandy는 Babbage의 분석 엔진에 대한 분석을 수행 했습니다 ( 'Herken, Rolf- The Universal Turing Machine-A Half-Century Survey . Springer Verlag'에 인용 된 'Gandy-1936 년 아이디어의 합류점 '참조). p. 52–53) : 산술 함수 +,-, ×, 여기서-는 "적절한"빼기를 나타냅니다. x-y = 0, y ≥ …
2 색의 완벽한 일치 문제는 각 노드가 정확히 하나의 이웃과 동일한 색을 갖도록 그래프가 두 가지 색으로 채색되는지 여부를 결정하는 것입니다. 이 문제는 Schaefer에 의해 NP가 완료된 것으로 입증되었습니다 . 평면 입방 형 그래프에서도 NP- 완전 상태를 유지합니다. 입력 그래프에 두 가지 색상으로 색상이 지정되는지 여부를 결정하려는 변형에 관심이 있습니다. …
그래프 G1, G2 및 G3이 주어지면 G1과 G3뿐만 아니라 G1과 G2 사이의 동형 테스트 F를 수행하려고합니다. G2와 G3이 매우 유사하여 하나의 노드를 삭제하고 G2에서 하나의 노드를 삽입하여 G3이 형성되고 F (G1, G2)의 결과가있는 경우 F (G1, G3)을 처음부터 계산하지 않고 계산할 수 있습니다 기존의 최첨단 방법을 확장하여? 예를 들어, G2가 …
우리는 이자형티H이자형티HETH 하에서 어떤 함수 f ( K ) (보통 2 O ( K ) ) 에서 f ( K ) p o l y ( n K )의 케이케이K SUM을 해결할 수 없다는 것을 알고 있습니다 .에프( K) p o l y( n 개의 K)에프(케이)피영형엘와이(엔케이)f(K)poly(nK)에프( K)에프(케이)f(K)2O ( K)2영형(케이)2^{O(K)} ( …
복잡성 동물원에서는 말한다 [ 1 ], 기술적 복잡성, 즉 PPP 식의 세 가지 종류로 정의 될 수 있고, FO(LFP)FO(LFP)FO(LFP) 도 FO(nO(1))FO(nO(1))FO(n^{O(1)}) , 및 또한 SO(HORN)SO(HORN)SO(HORN) . 그러나, 예를 들어 몇 가지 예외가 있는데, EvennessEvennessEvenness (FP가 LFP와 같은 표현력을 갖는다) FP로 표현 될 수 없다. ConnectivityConnectivityConnectivity 및 2−colourability2−colourability2-colourability 는 1 차 …
클래스 체크 안함나는체크 안함나는\textrm{NC}^i 는 팬-인, 엔O ( 1 )엔영형(1)n^{O(1)} 크기 및 O ( 로그나는( n ) )영형(로그나는(엔))O(\log^i(n)) 깊이의 회로 제품군으로 계산할 수있는 클래스 기능 입니다. 체크 안함체크 안함\textrm{NC} -hierarchy는 해당 클래스의 조합입니다. 이 계층의 선형 크기 변형에 대한 연구가 있습니까? 그것은 제한된 팬인, 폴리 로그 깊이 및 선형 크기의 …
나는 현재 논문 주제를 찾고 있으며 알고리즘 정보 이론 분야에 직면했다. 이 분야는 저에게 매우 흥미로운 것처럼 보이지만 모든 분야가 수년 전에 이루어진 것 같습니다. 그래서 내 질문은 : 필드가 "살아있는"것입니까 아니면 거의 닫혀 있습니까? 공개 질문이 있습니까? 감사
누군가 유도 데이터 유형의 엄격한 양성이 강력한 정규화를 보장하는 이유에 대한 직감을 줄 수 있는지 궁금합니다. 분명히, 부정적인 발생이 어떻게 확산으로 이어지는 지 봅니다. data X where Intro : (X->X) -> X 우리는 다양한 함수를 작성할 수 있습니다. 그러나 나는 우리가 엄격하게 긍정적 인 유도 성 유형 이 발산을 허용 …