부분대칭 함수는 효율적인 동형성 테스트가 가능
이 논문은 입력 변수 중 k 개만 특수하게 다루고 나머지는 순열에 대해 불변인 (n‑k)‑대칭 함수들을 대상으로, 상수 수준의 쿼리만으로 함수 동형성 테스트가 가능함을 보인다. 핵심은 새로운 “대칭 영향도” 개념과 교차족(intersecting families) 이론을 이용해 부분대칭성 자체를 효율적으로 테스트하고, 핵심 부분을 추출하는 샘플러를 구축한 뒤, 암시적 학습 방식으로 동형성을 검증한다. 또한 기존의 정밀도 기반 정리들을 전통적인 조…
저자: Eric Blais, Amit Weinstein, Yuichi Yoshida
본 논문은 Boolean 함수 f: {0,1}ⁿ → {0,1}에 대해 “f‑동형성 테스트”라는 문제를 다룬다. 이 문제는 임의의 함수 g가 변수 순열 σ에 의해 f와 동일한지, 혹은 ε‑far인지(전체 입력 중 ε · 2ⁿ 비율 이상이 다름) 판별하는 알고리즘을 설계하는 것이다. 기존 연구에서는 완전 대칭 함수와 k‑junta에 대해서만 상수‑쿼리 테스트가 가능함이 알려졌다. 저자들은 이 두 클래스를 포괄하는 “부분대칭 함수(partially symmetric functions)”를 정의하고, 이 클래스 전체에 대해 효율적인 동형성 테스트를 제공한다.
1. **부분대칭 함수 정의 및 동기**
- J⊆
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기