- formulasearchengine

General

Display information for equation id:math.299884.5 on revision:299884

* Page found: Talk:Hard-core predicate (eq math.299884.5)

Occurrences on the following pages:

Talk:Hard-core predicate Eq: math.299884.5

Hash: be14fe6e854fba1f41a838b2de6f1bc8

TeX (original user input):

u = \Pr[ x \leftarrow\{0,1\}^* ; y\leftarrow f(x): A(y, f(.)) \rightarrow g(x)]

TeX (checked):

u=\Pr[x\leftarrow \{0,1\}^{*};y\leftarrow f(x):A(y,f(.))\rightarrow g(x)]

LaTeXML (experimental; uses MathML) rendering

MathML (7.283 KB / 1.265 KB) :

{\displaystyle{\displaystyle u=\Pr[x\leftarrow\{0,1\}^{*};y\leftarrow f(x):A(y% ,f(.))\rightarrow g(x)]}}

<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle{\displaystyle u=\Pr[x\leftarrow\{0,1\}^{*};y\leftarrow f(x):A(y%&#10;,f(.))\rightarrow g(x)]}}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1b">
      <mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">u</mi>
      <mo id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">=</mo>
      <mi id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">Pr</mi>
      <mrow id="p1.1.m1.1.40" xref="p1.1.m1.1.40.cmml">
        <mo stretchy="false" id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">[</mo>
        <mi id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">x</mi>
        <mo id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">←</mo>
        <msup id="p1.1.m1.1.36" xref="p1.1.m1.1.36.cmml">
          <mrow id="p1.1.m1.1.36.2" xref="p1.1.m1.1.36.2.cmml">
            <mo stretchy="false" id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">{</mo>
            <mn id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">0</mn>
            <mo id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">,</mo>
            <mn id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">1</mn>
            <mo stretchy="false" id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">}</mo>
          </mrow>
          <mo id="p1.1.m1.1.12.1" xref="p1.1.m1.1.12.1.cmml">*</mo>
        </msup>
        <mo id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml">;</mo>
        <mi id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">y</mi>
        <mo id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml">←</mo>
        <mi id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">f</mi>
        <mrow id="p1.1.m1.1.12" xref="p1.1.m1.1.12.cmml">
          <mo stretchy="false" id="p1.1.m1.1.17" xref="p1.1.m1.1.17.cmml">(</mo>
          <mi id="p1.1.m1.1.18" xref="p1.1.m1.1.18.cmml">x</mi>
          <mo stretchy="false" id="p1.1.m1.1.19" xref="p1.1.m1.1.19.cmml">)</mo>
        </mrow>
        <mo id="p1.1.m1.1.20" xref="p1.1.m1.1.20.cmml">:</mo>
        <mi id="p1.1.m1.1.21" xref="p1.1.m1.1.21.cmml">A</mi>
        <mrow id="p1.1.m1.1.38" xref="p1.1.m1.1.38.cmml">
          <mo stretchy="false" id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">(</mo>
          <mi id="p1.1.m1.1.23" xref="p1.1.m1.1.23.cmml">y</mi>
          <mo id="p1.1.m1.1.24" xref="p1.1.m1.1.24.cmml">,</mo>
          <mi id="p1.1.m1.1.25" xref="p1.1.m1.1.25.cmml">f</mi>
          <mrow id="p1.1.m1.1.37" xref="p1.1.m1.1.37.cmml">
            <mo stretchy="false" id="p1.1.m1.1.26" xref="p1.1.m1.1.26.cmml">(</mo>
            <mo id="p1.1.m1.1.27" xref="p1.1.m1.1.27.cmml">.</mo>
            <mo stretchy="false" id="p1.1.m1.1.28" xref="p1.1.m1.1.28.cmml">)</mo>
          </mrow>
          <mo stretchy="false" id="p1.1.m1.1.29" xref="p1.1.m1.1.29.cmml">)</mo>
        </mrow>
        <mo id="p1.1.m1.1.30" xref="p1.1.m1.1.30.cmml">→</mo>
        <mi id="p1.1.m1.1.31" xref="p1.1.m1.1.31.cmml">g</mi>
        <mrow id="p1.1.m1.1.39" xref="p1.1.m1.1.39.cmml">
          <mo stretchy="false" id="p1.1.m1.1.32" xref="p1.1.m1.1.32.cmml">(</mo>
          <mi id="p1.1.m1.1.33" xref="p1.1.m1.1.33.cmml">x</mi>
          <mo stretchy="false" id="p1.1.m1.1.34" xref="p1.1.m1.1.34.cmml">)</mo>
        </mrow>
        <mo stretchy="false" id="p1.1.m1.1.35" xref="p1.1.m1.1.35.cmml">]</mo>
      </mrow>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1c">
      <cerror id="p1.1.m1.1d">
        <csymbol cd="ambiguous" id="p1.1.m1.1e">fragments</csymbol>
        <csymbol cd="unknown" id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">u</csymbol>
        <eq id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2"/>
        <ci id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">Pr</ci>
        <cerror id="p1.1.m1.1.40.cmml" xref="p1.1.m1.1.40">
          <csymbol cd="ambiguous" id="p1.1.m1.1.40a.cmml" xref="p1.1.m1.1.40">fragments</csymbol>
          <ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">[</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">x</csymbol>
          <ci id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6">←</ci>
          <apply id="p1.1.m1.1.36.cmml" xref="p1.1.m1.1.36">
            <csymbol cd="ambiguous" id="p1.1.m1.1.36.1.cmml" xref="p1.1.m1.1.36">superscript</csymbol>
            <cerror id="p1.1.m1.1.36.2.cmml" xref="p1.1.m1.1.36.2">
              <csymbol cd="ambiguous" id="p1.1.m1.1.36.2a.cmml" xref="p1.1.m1.1.36.2">fragments</csymbol>
              <ci id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">{</ci>
              <cn type="integer" id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8">0</cn>
              <ci id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9">,</ci>
              <cn type="integer" id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10">1</cn>
              <ci id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11">}</ci>
            </cerror>
            <times id="p1.1.m1.1.12.1.cmml" xref="p1.1.m1.1.12.1"/>
          </apply>
          <ci id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13">;</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">y</csymbol>
          <ci id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15">←</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16">f</csymbol>
          <cerror id="p1.1.m1.1.12.cmml" xref="p1.1.m1.1.12">
            <csymbol cd="ambiguous" id="p1.1.m1.1.12a.cmml" xref="p1.1.m1.1.12">fragments</csymbol>
            <ci id="p1.1.m1.1.17.cmml" xref="p1.1.m1.1.17">(</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.18.cmml" xref="p1.1.m1.1.18">x</csymbol>
            <ci id="p1.1.m1.1.19.cmml" xref="p1.1.m1.1.19">)</ci>
          </cerror>
          <ci id="p1.1.m1.1.20.cmml" xref="p1.1.m1.1.20">:</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.21.cmml" xref="p1.1.m1.1.21">A</csymbol>
          <cerror id="p1.1.m1.1.38.cmml" xref="p1.1.m1.1.38">
            <csymbol cd="ambiguous" id="p1.1.m1.1.38a.cmml" xref="p1.1.m1.1.38">fragments</csymbol>
            <ci id="p1.1.m1.1.22.cmml" xref="p1.1.m1.1.22">(</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.23.cmml" xref="p1.1.m1.1.23">y</csymbol>
            <ci id="p1.1.m1.1.24.cmml" xref="p1.1.m1.1.24">,</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.25.cmml" xref="p1.1.m1.1.25">f</csymbol>
            <cerror id="p1.1.m1.1.37.cmml" xref="p1.1.m1.1.37">
              <csymbol cd="ambiguous" id="p1.1.m1.1.37a.cmml" xref="p1.1.m1.1.37">fragments</csymbol>
              <ci id="p1.1.m1.1.26.cmml" xref="p1.1.m1.1.26">(</ci>
              <ci id="p1.1.m1.1.27.cmml" xref="p1.1.m1.1.27">.</ci>
              <ci id="p1.1.m1.1.28.cmml" xref="p1.1.m1.1.28">)</ci>
            </cerror>
            <ci id="p1.1.m1.1.29.cmml" xref="p1.1.m1.1.29">)</ci>
          </cerror>
          <ci id="p1.1.m1.1.30.cmml" xref="p1.1.m1.1.30">→</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.31.cmml" xref="p1.1.m1.1.31">g</csymbol>
          <cerror id="p1.1.m1.1.39.cmml" xref="p1.1.m1.1.39">
            <csymbol cd="ambiguous" id="p1.1.m1.1.39a.cmml" xref="p1.1.m1.1.39">fragments</csymbol>
            <ci id="p1.1.m1.1.32.cmml" xref="p1.1.m1.1.32">(</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.33.cmml" xref="p1.1.m1.1.33">x</csymbol>
            <ci id="p1.1.m1.1.34.cmml" xref="p1.1.m1.1.34">)</ci>
          </cerror>
          <ci id="p1.1.m1.1.35.cmml" xref="p1.1.m1.1.35">]</ci>
        </cerror>
      </cerror>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1f">{\displaystyle{\displaystyle u=\Pr[x\leftarrow\{0,1\}^{*};y\leftarrow f(x):A(y%
,f(.))\rightarrow g(x)]}}</annotation>
  </semantics>
</math>

SVG (15.539 KB / 5.556 KB) :

SVG (MathML can be enabled via browser plugin) rendering

MathML (1.582 KB / 487 B) :

u=\Pr[x\leftarrow \{0,1\}^{*};y\leftarrow f(x):A(y,f(.))\rightarrow g(x)]

<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle u=\Pr[x\leftarrow \{0,1\}^{*};y\leftarrow f(x):A(y,f(.))\rightarrow g(x)]}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mi>u</mi>
        <mo>=</mo>
        <mo movablelimits="true" form="prefix">Pr</mo>
        <mo stretchy="false">[</mo>
        <mi>x</mi>
        <mo stretchy="false">&#x2190;<!-- ← --></mo>
        <mo fence="false" stretchy="false">{</mo>
        <mn>0</mn>
        <mo>,</mo>
        <mn>1</mn>
        <msup>
          <mo fence="false" stretchy="false">}</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mo>&#x2217;<!-- ∗ --></mo>
          </mrow>
        </msup>
        <mo>;</mo>
        <mi>y</mi>
        <mo stretchy="false">&#x2190;<!-- ← --></mo>
        <mi>f</mi>
        <mo stretchy="false">(</mo>
        <mi>x</mi>
        <mo stretchy="false">)</mo>
        <mo>:</mo>
        <mi>A</mi>
        <mo stretchy="false">(</mo>
        <mi>y</mi>
        <mo>,</mo>
        <mi>f</mi>
        <mo stretchy="false">(</mo>
        <mo>.</mo>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">&#x2192;<!-- → --></mo>
        <mi>g</mi>
        <mo stretchy="false">(</mo>
        <mi>x</mi>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">]</mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle u=\Pr[x\leftarrow \{0,1\}^{*};y\leftarrow f(x):A(y,f(.))\rightarrow g(x)]}</annotation>
  </semantics>
</math>

SVG (12.845 KB / 5.176 KB) :

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Identifiers

$u$

$x$

$y$

$f$

$x$

$A$

$y$

$f$

$g$

$x$

MathML observations

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

General

LaTeXML (experimental; uses MathML) rendering

SVG (MathML can be enabled via browser plugin) rendering

Translations to Computer Algebra Systems

Translation to Maple

Translation to Mathematica

Similar pages

Identifiers

MathML observations

Navigation menu

General

LaTeXML (experimental; uses MathML) rendering

SVG (MathML can be enabled via browser plugin) rendering

Translations to Computer Algebra Systems

Translation to Maple

Translation to Mathematica

Similar pages

Identifiers

MathML observations

Navigation menu

Search