3 citations · 3 across the 5 of their papers we have counts for
7 papers
Linear-Time Exact Computation of Influence Spread on Bounded-Pathwidth Graphs
Kengo Nakamura, Masaaki Nishino
Given a network and a set of vertices called seeds to initially inject information, influence spread is the expected number of vertices that eventually receive the information unde…
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
One of the most important queries in knowledge compilation is weighted model counting (WMC), which has been applied to probabilistic inference on various models, such as Bayesian n…
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs
Ryoma Onaka, Kengo Nakamura, Masaaki Nishino +1
A knowledge compilation map analyzes tractable operations in Boolean function representations and compares their succinctness. This enables the selection of appropriate representat…
Single Family Algebra Operation on BDDs and ZDDs Leads To Exponential Blow-Up
Kengo Nakamura, Masaaki Nishino, Shuhei Denzumi
Binary decision diagram (BDD) and zero-suppressed binary decision diagram (ZDD) are data structures to represent a family of (sub)sets compactly, and it can be used as succinct ind…
Generalization Analysis on Learning with a Concurrent Verifier
Masaaki Nishino, Kengo Nakamura, Norihito Yasuda
Machine learning technologies have been used in a wide range of practical systems. In practical situations, it is natural to expect the input-output pairs of a machine learning mod…
Differentiable Equilibrium Computation with Decision Diagrams for Stackelberg Models of Combinatorial Congestion Games
Shinsaku Sakaue, Kengo Nakamura
We address Stackelberg models of combinatorial congestion games (CCGs); we aim to optimize the parameters of CCGs so that the selfish behavior of non-atomic players attains desirab…
Variable Shift SDD: A More Succinct Sentential Decision Diagram
Kengo Nakamura, Shuhei Denzumi, Masaaki Nishino
The Sentential Decision Diagram (SDD) is a tractable representation of Boolean functions that subsumes the famous Ordered Binary Decision Diagram (OBDD) as a strict subset. SDDs ar…