| paper | d4-conf-aaai-2008-0177 |
| authors | — |
| venue | ? |
| filed under | unclassified |
| judged by | gpt-6-luna / xhigh (triple__luna__xhigh__c6r1) |
| judge confidence | high |
| authors would recognise it | yes |
other→P discrete result → its continuous mirror
Answer: Polynomial-time solvable in \(m,\tau,K,L\), with at most \(\tau(m+1)\) positive assignment masses. · discrete side: other · adjudication: proved_with_minor_gaps
full proof & adversarial review →
Proposition 2
statement extracted from the paper’s text layer
Given an explicit impression set \(M\), a finite supported rational distribution \(\mu\) over complete bid-tree types \(t\), and rational per-capita supplies \(q_j\), find prices \(p_j\geq 0\) and an assignment of each type’s mass \(\mu_t\) over its feasible integral bundles \(B\). Every bundle receiving positive mass must maximize that type’s bid-tree value minus \(\sum_{j\in M}p_jB_j\); total assigned impressions must not exceed \(q_j\), and any impression with slack supply must have price zero.
Advertiser types are complete bid trees, including impression subsets, bids, and per-account integral caps. The input is their finite distribution \(\mu\) and per-capita impression supply \(q\); the assignment variable records how much type mass receives each feasible integral bundle, and prices support those assignments. Type-level averages may be fractional. The equivalent compact allocation LP has constraints \(y_t(S)\leq\mu_tc_{tS}\) and \(\sum_t y_{tj}\leq q_j\).
The mirror covers efficient allocation and supporting competitive prices, including Proposition 2 and the allocation structure of Proposition 1. It leaves the price-lattice result, bidder feedback, incentive analysis, and scheduling problem aside.
The strongest positive case is a high multiplicity advertiser population. The many agents are advertiser accounts; a type is their complete bid tree, including its impression subsets, bids, and volume caps. Mass \(\mu_t\) is the fraction of accounts using type \(t\). A plausible regime is a network with many local franchise or merchant accounts choosing from a small menu of standardized campaign templates: \(N\) accounts, with \(N\gg\tau\). Accounts that differ in any modeled bid or cap are different types.
The network’s supply must scale with the population: let \(q_j\) be the forecasted supply of impression \(j\) per unit of advertiser population. A finite population of size \(N\) then has supply approximately \(Nq_j\). The paper already treats impression assignments as forecasted amounts or rates; that is useful here, but the continuized object is the distribution of advertisers.
My lead anchor is Proposition 1, proved in the paper. It says that when agents submit bid-tree valuations, the paper’s allocation LP has an integer optimal solution. In full, that LP maximizes total bid value subject to each agent’s volume cap at every bid-tree node, the supply limit for every impression, and nonnegative allocations. The proposition concerns the underlying efficient allocation problem, not just the LP encoding.
The corresponding continuous question is BidTree Mass-Welfare Allocation. An instance gives the impression set \(M\), a finite supported distribution of advertiser types \(\mu\), each type’s bid tree with bids \(b_{tS}\) and integral per-advertiser caps \(c_{tS}\), and per-capita supply \(q_j\). Here \(S\) is a node’s subset of impressions. The question is to find a welfare-maximizing assignment of bundles to the advertiser mass. Each account still receives an integral bundle \(B\in\mathbb Z_+^M\); the assignment may distribute a type’s mass among different bundles, so its type-level average can be fractional.
Equivalently, let \(y_{tj}\) be the total amount of impression \(j\) allocated to type \(t\), measured per unit of the whole population, and write \(y_t(S)=\sum_{j\in S}y_{tj}\). The compact allocation problem maximizes \(\sum_t\sum_S b_{tS}y_t(S)\), subject to \(y_t(S)\leq\mu_t c_{tS}\), \(\sum_t y_{tj}\leq q_j\), and \(y_{tj}\geq0\). With the bid-tree constraints, the per-account feasible bundle polytope is integral, so a feasible type-level average can be implemented by distributing mass over integral bundles.
I expect this mirror to be Class A: the type-level problem is a rational LP of size polynomial in \(m\), \(\tau\), the bid-tree descriptions, and the input bit length. The continuous question is not whether the mass allocation remains integral; it is whether the same efficient-allocation objective can be solved from a compact distribution of types, with complexity governed by \(\tau\) rather than the number of advertiser accounts. Proposition 1 supplies the exact bid-tree allocation structure to continue, though its integral-optimum conclusion itself does not carry over as the target.
A second, related anchor is Proposition 2, also stated and derived in the paper by LP duality. It says that if \(x\) is an optimal solution to the allocation LP and \(p\) is an optimal dual solution, then \(\langle x,p\rangle\) is a competitive equilibrium: each bidder receives a utility-maximizing bundle at prices \(p\), and any impression with unallocated supply has price zero.
Its mirror is BidTree Mass Competitive Equilibrium. On the same input, find nonnegative prices \(p_j\) and, for every type, a distribution of its mass over integral bundles such that every bundle receiving positive mass maximizes that type’s bid-tree value minus \(p\cdot B\); total assigned mass respects each supply \(q_j\); and any impression with slack supply has price zero. I expect this to be Class A as well: solve the mass-welfare LP and take dual prices. In the continuum, agents of one type may divide among tied utility-maximizing bundles, giving the fractional type average while each assigned bundle remains integral.
The mirror covers the paper’s efficient allocation and its supporting competitive prices. It does not claim to mirror the scheduler, bidder-feedback result, or incentive analysis. Further questions include whether the continuous equilibrium price set retains the lattice property of Proposition 3; whether minimum CE prices retain the paper’s stability interpretation; and how well the mass solution approximates finite populations when type proportions or supplies must be rounded. If the impression space is represented more succinctly than its explicit \(m\) entries, the complexity of that representation is another natural question.
There is no named NP-hardness result in this paper to anchor a hardness mirror. Its statement that combinatorial allocation can be NP-hard is background, not a result about this bid-tree problem. So this is a tractability and scaling case, not a claim that continuization dissolves hardness.
The weakest point is that exact repetition of bid trees may be uncommon in a heterogeneous ad market. If nearly every account has unique bids or caps, then \(\tau\) approaches \(N\) and the compression buys little. Also, the integer-allocation statement in Proposition 1 is not needed to solve the fractional type-level LP. The case still holds in a standardized-template regime: advertisers share the paper’s full modeled preferences and constraints, while population mass replaces an unwieldy list of repeated accounts. That makes this a sensible high-multiplicity mirror, though a modest one.
The strongest case against is that the two anchors reduce to one static allocation model. Proposition 1 establishes integrality for the bid-tree allocation LP; Proposition 2 gets competitive-equilibrium prices from its dual. Neither states a complexity result, and the paper already gives the LP and its polynomial-time solution. A continuous mirror of these propositions therefore adds little computational substance beyond regrouping repeated inputs.
For \(n_t\) advertisers with the same bid tree, summing their allocations gives the type-level constraints \(X_t(S)\le n_t c_{tS}\). Dividing by the population size yields the proposed mass constraints \(y_t(S)\le\mu_t c_{tS}\). Proposition 1’s integrality, together with the bid-tree feasible region, lets feasible type averages be represented as distributions over integral bundles. The dual prices in Proposition 2 then support those allocations by the same complementary-slackness argument. So the allocation and CE mirrors are two outputs of the same rescaled LP, with no separate computational obstacle for the continuous programme to investigate.
There is also a limited fit with the paper’s broader auction-design aim. Grouping advertisers with identical reported trees is valid for a fixed welfare calculation. Studying how advertisers change bids brings individual strategic deviations back into view; an atomless population can change those incentives by making each advertiser unable to affect prices. That broader question would need a different mirror from Propositions 1 and 2.
This is a case about priority, not a decisive objection to the model. The standardized-account scenario is plausible, and the resulting mass allocation is a coherent high-multiplicity problem. The case against is strongest if ChoCo reserves its effort for mirrors that expose a new complexity question or structural boundary; it does not establish that this mirror is unwarranted under the programme’s broader standard.
The adversarial triple: the proponent anchors on up to three named results; the opponent sees that case and must defeat every anchor; the judge decides which case convinced it. These are the pipeline’s own outputs, generated by tools/triple_run.py — no human edited them. The paper’s own text is not reproduced here beyond the quoted statement above.