«reference-request» 태그된 질문

참조 요청은 저자가 질문과 관련된 작업에 대해 알아야 할 때 사용됩니다.

4
복잡성 클래스 NEXP
NEXP 문제가 있으며 지수 시간과 단 하나의 교대 (기존 상태에서 시작)를 사용하여 교대 TM으로 해결할 수도 있습니다.NPNP^{\text{NP}} NEXP 대해 알려진 것이 있습니까? NEXP 또는 다른 클래스와 동일합니까? NEXP 기계와 단어가 주어지면 일반적인 기계 이외의 다른 문제 가 있습니까?NPNPNP^{\text{NP}}NPNP^{\text{NP}}
1
주어진 카디널리티의 최소 무게 하위 포리스트
이 질문은 stackoverflow에 대한 질문에 의해 동기 부여되었습니다 . 노드 ( )에 루트 트리 (즉, 루트가 있고 노드에 자식이있는 등) 가 있다고 가정하십시오 .TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n 각 정점 는 음이 아닌 정수 가중치와 관련이 있습니다 : .iiiwiwiw_i 또한 과 같은 정수 가 제공 됩니다.kkk1≤k≤n1≤k≤n1 \le k \le n 노드 …
1
비 결정적 다자간 통신을위한 하한
이것은 부분 부울 함수의 통신 하한 에 관한 나의 이전의 질문입니다 . 비 결정적 다자간 의사 소통에 대한 하한에 대한 참조를 제안 할 수 있습니까? 필자는 현장에서 논문을 조사했지만 모두가 무작위 프로토콜의 하한과 비 결정적 프로토콜의 (더 작은) 상한 유형의 분리를 보여줍니다. 예를 들어 David, Pitassi 및 Viola 2009 , …
1
사람들이 부울 회로에서 루프 중첩을 보나요?
EE 학부 과정에서 몇 개의 강의에 참석하여 몇 개의 중첩 루프가 있는지에 대한 부울 회로의 훌륭한 특성을 제시했습니다. 복잡성에서, 부울 회로는 종종 dags로 생각되지만 실제 하드웨어주기에서는 일반적입니다. 이제 루프가 무엇인지, 그리고 중첩 루프를 구성하는 것에 대한 몇 가지 기술은 기본적으로 하드웨어에서 오토 마톤을 구현하려면 두 개의 중첩 루프가 필요하며 프로세서를 …
2
쌍을 가진 시스템 F는 강력한 정규화 및 주제 축소 특성을 가지고 있습니까?
많은 교과서에서 시스템 F에 대한 주제 축소 및 강력한 정규화에 대한 증거를 쉽게 볼 수 있으며 때로는 시스템 F에 대한 쌍이있는 정의가 있습니다. 여기서 (t, r)은 인코딩뿐만 아니라 용어입니다. 문제는이 시스템에 대한 참조는 무엇입니까?
1
최대 H 프리 세트의 계산
그래프에서 독립 집합은 유도 된 하위 그래프로 가장자리를 포함하지 않는 정점 하위 집합입니다. 그래프에서 가장 큰 독립 집합을 찾는 문제는 근본적인 알고리즘 문제이며 어려운 문제입니다. 그래프에서 가장 큰 H- 프리 세트를 찾는 (크기의) 더 일반적인 질문을 고려해 봅시다. 여기서 H- 프리는 고정 된 그래프 H의 사본을 유도 된 서브 그래프로 …
3
합니까
넣어야 의 최소 출력도 G 및 의해 δ - ( G ) 에서도 최소한.δ+( G )δ+(G)\delta^+(G)지GGδ−( G )δ−(G)\delta^-(G) A의 관련 질문 , 나는의 Ghouila - Houri 확장 언급 한 해밀턴 사이클에 디랙의 이론 제시, 그 경우 다음, G는 해밀턴이다.δ+( G ) , δ−( G ) ≥ N2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} 그의 …
1
이중 그래프 찾기
Gross and Tucker의 Topological Graph Theory에 따르면 , 표면에 그래프를 셀에 삽입 하면 ( '표면'으로 여기에 핸들 이있는 구를 의미하며, S n 아래 에 정확히 n이 있는 구를 나타냅니다 원래 그래프의면을 꼭짓점으로 처리하고 해당면이 원본 그래프에서 공통으로 갖는 모든면에 대해 두 꼭짓점 사이에 가장자리를 추가하여 이중 다중 그래프를 정의 할 …
4
디지털화 된 선의 기울기 복구
디지털화에서 선분의 기울기를 복구하는 작업이 있습니까? 물론 완벽한 정확성으로 이것을 할 수는 없습니다. 원하는 것은 가능한 기울기 간격을 디지털화 된 선에서 도출하는 방법입니다. (내가 사용하는 디지털 라인의 개념은 Rosenfeld의 것입니다 : 쌍 세트 여기서 i 는 정수 (또는 연속 정수 블록)와 는 가장 가까운 정수를 나타냅니다 ( 이면 ).( i …
2
엄격한 양성의 배후에있는 직관?
누군가 유도 데이터 유형의 엄격한 양성이 강력한 정규화를 보장하는 이유에 대한 직감을 줄 수 있는지 궁금합니다. 분명히, 부정적인 발생이 어떻게 확산으로 이어지는 지 봅니다. data X where Intro : (X->X) -> X 우리는 다양한 함수를 작성할 수 있습니다. 그러나 나는 우리가 엄격하게 긍정적 인 유도 성 유형 이 발산을 허용 …
1
종속 유형 검사가 결정 가능함을 보여주는 입증 기술
나는 현재 작업중 인 의존적 인 미적분학에 대한 유형 검사가 결정 가능하다는 것을 보여줄 필요가있는 상황에 처해 있습니다. 지금까지 나는 시스템이 강력하게 정규화되고 정의 평등이 결정 가능하다는 것을 증명할 수 있었다. 필자가 읽은 많은 참고 문헌에서 유형 검사의 결정 가능성은 강력한 정규화의 목록으로 나열되어 있으며 그러한 경우에는 그것을 믿지만 실제로 …
1
고차 프로그램을위한 프로그램 반전 알고리즘
프로그램 반전 이라는 용어 는 여러 가지 의미를 갖지만 아마도 AI의 맥락에서 J. McCarthy의 1956 년 튜링 머신 에 의해 정의 된 기능의 반전으로 시작되었을 것입니다 . 가역 프로그래밍 (실제 및 논리), 부분 평가, 검증, 양방향 프로그래밍, 논리 프로그래밍 및 기계 학습과 같은 프로그램 반전과 다른 필드 사이의 많은 연결이 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.