Hintergrund: Beim maschinellen Lernen arbeiten wir häufig mit grafischen Modellen , um Funktionen mit hoher dimensionaler Wahrscheinlichkeitsdichte darzustellen. Wenn wir die Einschränkung, dass eine Dichte zu 1 integriert (summiert), verwerfen, erhalten wir eine nicht normalisierte graphstrukturierte Energiefunktion .
Angenommen, wir haben eine solche Energiefunktion , die in einem Graphen . Es gibt eine Variable für jeden Scheitelpunkt des Graphen und es gibt reelle unäre und paarweise Funktionen: \ theta_i (x_i): i \ in \ mathcal {V} und \ theta_ {ij} (x_i, x_j): ij \ in \ mathcal {E} . Die volle Energie ist dannG = ( V , E ) x & thgr ; i ( x i ) : i ≤ V & thgr ; i j ( x i , x j ) : i j ≤ E
Wenn alle binär sind, können wir uns ein als Hinweis auf eine Mengenmitgliedschaft vorstellen und mit nur einem kleinen Missbrauch der Terminologie über Submodularität sprechen. In diesem Fall ist eine Energiefunktion submodular, wenn f . Wir sind normalerweise daran interessiert, die Konfiguration zu finden, die die Energie minimiert: . x θ i j ( 0 , 0 ) + θ i j ( 1 , 1 ) ≤ θ i j ( 0 , 1 ) + θ i j ( 1 , 0 ) x * = arg min x E ( x )
Es scheint einen Zusammenhang zwischen der Minimierung einer submodularen Energiefunktion und monotonen Booleschen Funktionen zu geben: Wenn wir die Energie von einigen für ein beliebiges (dh seine Präferenz für "wahr" erhöhen), dann das Optimum Die Zuweisung einer Variablen kann sich nur von 0 nach 1 ändern ("false" nach "true"). Wenn alle auf 0 oder 1 beschränkt sind, haben wirmonotone Boolesche Funktionen:
wobei wie oben .
Frage: Können wir mit diesem Setup alle monotonen Booleschen Funktionen darstellen, indem wir die paarweisen Terme variieren ? Was ist, wenn wir zulassen, dass eine beliebige submodulare Energiefunktion ist? Umgekehrt können wir alle submodularen Minimierungsprobleme als eine Menge vonmonotone Boolesche Funktionen?
Können Sie Referenzen vorschlagen, die mir helfen, diese Zusammenhänge besser zu verstehen? Ich bin kein theoretischer Informatiker, aber ich versuche zu verstehen, ob es Erkenntnisse über monotone boolesche Funktionen gibt, die nicht durch submodulare Minimierung erfasst werden.