지역적 단조성 및 격자 파생 연산의 새로운 계층

이 논문은 불리언·의사불리언 함수에 대해 “p‑지역 단조성”이라는 개념을 도입하고, 이를 기존의 부분 미분과 격자 파생 연산(∧, ∨)과 연결시킨다. p‑지역 단조성은 변수들의 해밍 거리 < p인 입력쌍에 대해 부분 미분의 부호가 변하지 않음을 요구한다. p가 커질수록 제약이 강해져 p = n이면 전통적 단조성이 되고, p = 1이면 모든 함수가 만족한다. 저자들은 p‑지역 단조 함수와 p‑교환 가능한 격자 파생 연산 사이의 정확한 관계를 증명…

저자: Miguel Couceiro, Jean-Luc Marichal, Tamas Waldhauser