More than the sum of its parts : compact preference representation over combinatorial domains - List of symbols

UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl)

UvA-DARE (Digital Academic Repository)

More than the sum of its parts : compact preference representation over

combinatorial domains

Uckelman, J.D.

Publication date

2009

Link to publication

Citation for published version (APA):

Uckelman, J. D. (2009). More than the sum of its parts : compact preference representation

over combinatorial domains. Institute for Logic, Language and Computation.

General rights

It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons).

Disclaimer/Complaints regulations

If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.

List of Symbols

≡, 13

≡

, 13

&, 39

⊥, 11

|=, 10

⊕, 13

|, 41

⊥, 62, 140

⊥

, 62, 140

≺, 62, 140

≺

, 62, 140

, 62, 140



, 62, 140

∼, 62, 140

∼

, 62, 140

>, 11

A, 145

A(p), 145

χ

, 74

coC, 97

coNP, 97

ˆ

f (S), 75

For(G), 11

g, 150

G

, 84

G

_{, 83}

G[ψ/χ], 14

h, 150

H, 186

h

, 161

h

_{, 156, 159, 161}

h

, 156, 159

h

, 159

h

, 156

h

, 161

h

, 160

L, 13

LM(S), 125

LP(G), 127

L(Φ, W ), 13

L(Φ, W, F ), 13

L

, 10

M

, 146

max, 12

Mono, 54

NP, 97

NTIME(t(n)), 96

O(g(n)), 96

opt(G), 192

opt

(G), 192

OR, 139

P, 96

ϕ[ψ/χ], 14

Π, 117

222

LIST OF SYMBOLS

223

PS, 9

PS(k), 33

PS

, 9

Σ, 12

size(G), 62

sw, 146

TIME(t(n)), 96

u

, 71

u

, 71

u

, 13

u

, 12

U (L), 13

und, 145

U (Φ, W ), 13

U (Φ, W, F ), 13

Var(G), 11

Var(ϕ), 11

¯

X, 11

XOR, 139

X↑, 81