This tag concerns computational problems central to mathematical and scientific computating. The scope includes algorithms, numerical analysis, optimization, and linear algebra, computational topology, computational geometry, symbolic methods, and inverse problems.

learn more… | top users | synonyms

3
votes
2answers
2k views

How to handle big powers on big numbers e.g. $n^{915937897123891}$

I'm struggling with the way to calculate an expression like $n^{915937897123891}$ where $n$ could be really any number between 1 and the power itself. I'm trying to program (C#) this and therefor ...
2
votes
1answer
350 views

How to compute efficiently the norm of a cyclotomic integer

Let $l$ be an odd prime number and $\zeta$ be a primitive $l$-th root of unity in $\mathbb{C}$. Let $K = \mathbb{Q}(\zeta)$. Let $A$ be the ring of algebraic integers in $K$. Let $\alpha \in A$. How ...
2
votes
1answer
284 views

Using sympy im Python to substitute values into a 10x10 matrix

'm using the symbolic package sympy to store a 10X10 antisymmetric matrix in terms of 10 variables. and then at every iteration step, i substitute numerical values into the entries of the matrix. ...
4
votes
0answers
526 views

Obtain a contradiction

Motivation : The motivation is to show that the equation $x^{2b}.x^{2a} +(3-x^{2b}) x^{a} + (1-s^2)=0 $ has no solutions in integers for any values of $x,b,a,s$ ( choosen as per the constraints ...
4
votes
1answer
169 views

Hilbert curve scheduling not theoretically well defined?

In high-dimensional task scheduling, it is common to use a Hilbert-curve ordering. Given a set of points $\{p_i\}_{i=1}^N \subset \mathbb{R}^d$ the goal is to linearly order them such that points ...
0
votes
1answer
116 views

Help understanding a $3n+1$ problem programming project

I was going through this website where I found 3n + 1 problem. I was not able to understand what the output should be. I ...
2
votes
1answer
213 views

Asymptotic expansion of a special integral

I need an asymptotic expansion of J(n) $J(n)=\frac {2} {\pi} \int_{0}^{\pi/n} \prod_{k=1}^n \frac {\sin kx} {\sin x} dx$, $n=2,3,4,\dots$ Can anybody help to find the asymptotic analytically or at ...
1
vote
2answers
252 views

Computational efficiency of Machin-like formulae

From what I have read, it appears that the most efficient methods of calculating $ \pi $ are Machin-like formulae. And it is known that certain formulas are more efficient than others. Are there any ...
1
vote
1answer
108 views

Minimizing the norm related with iteration method

I am working on a iteration method to compute the generalized inverse of a matrix $A$ of rank $r$ Iteration method is $X_{k+1} = X_{k} + \beta X_{k} (I - A X_{k}) $ where notations are as follows ...
4
votes
2answers
123 views

Distinction between error estimator and error indicator

When solving differential equations numerically one can incur discretization error and one can construct a posteriori error estimates to approximate the true error. There is a distinction often made ...
1
vote
0answers
109 views

Collaborative modular exponentiation

EDIT: Rephrased. I have, stored somewhere, the values $a$ , $Q$, $N_1$ (plus its factor) and $a^{2Q} \mod N_1$. I also know $b$, $R$ and $N_2$ (but not its factors). I want to know whether there is ...
4
votes
1answer
76 views

Need little hint to prove a theorem from a paper

I have an iterative method \begin{eqnarray} X_{k+1}=(1+\beta)X_k-\beta X_k A X_k~~~~~~~~~~~~~~~~~ k = 0,1,\ldots \end{eqnarray} with initial approximation $X_0 = \beta A^*$ ($\beta$ is scalar ...
1
vote
0answers
173 views

Calculation of stopping condition for Conjugate Gradient

I am a person with programming background and need some math help. I am looking at the source code for an implementation of the Conjugate Gradient iterative solver ...
3
votes
2answers
90 views

Comparison of two very large necklaces

I came across one problem and I would like to find an answer. It is well-known how to calculate the number of fixed necklaces of length $n$ composed of $a$ types of beads $N(n,a)$. ...
2
votes
2answers
313 views

Value of double product

What is $$ \prod_{i=1}^n\prod_{j=1}^{n-i}i^2+j^2 $$ ? It feels like there should be some way to simplify this or calculate it more efficiently than iterating over each of the $\sim n^2/2$ points. ...
0
votes
1answer
129 views

more matrix inversion

Related to a previous question: Suppose I want to invert a (sparse) matrix written in block form as \begin{array}{cccc} A_{11} & A_{12} & \ldots & A_{1n}\\ A_{21} & A_{22} & & ...
0
votes
2answers
136 views

efficient matrix inversion problem

So I'm trying to invert a matrix of the $\begin{pmatrix} A & B \\ C & D \end{pmatrix}$ where $A$ and $D$ are square, $D$ is much larger than $A$, and $D$ is diagonal. $A$ $B$ and $C$ have no ...
1
vote
1answer
161 views

Can someone explain to me the relationship between primorials and factorials and how that relation can be used to compute large factorials?

What I am trying to figure out is a way to compute large factorials, !1000000. For what it's worth luschny's computer algorithms do a very good job of it.
1
vote
1answer
161 views

Solve equation on the PC

A friend of mine asked me to help him and make a small application to solve a problem. This problem can be reduced to this equation system: aX = Yb; Y > c; Y < d; X is a whole number (X has ...
1
vote
1answer
81 views

Finding the computational complexity of an algorithm

Algorithm: for (int i = 0; i < 2*n; i += 2) for (int j = n; j >i; j--) foo(); I want to find the number of times foo() is called. ...
-1
votes
1answer
72 views

$T(n) = n^{O(1)}$ iff exists $k > 0$ such that $T(n) = O(n^k)$

I must use O notation to show that: $T(n) = n^{O(1)}$ iff exists $k > 0$ such that $T(n) = O(n^k)$ But, I don't understand what mean: $n^{O(1)}$
2
votes
2answers
3k views

Notation : What is the meaning of the (mod n) in factoring algorithms?

Pretty much every thing is in the title, really! I'm trying to come up with an efficient algorithm to factorize large integer as an homework for a parallel programming course. I've seen a few pages ...
3
votes
1answer
620 views

Method For Constructing Self Referential Formulas Like Tupper's

Can anyone please explain exactly how formulas like Tupper's self referential formula can be constructed? I'll like to see the reasoning behind the derivation of such formulas and the steps required ...
5
votes
2answers
300 views

Abuse of big-O notation? (version 2 - simplified and revised)

Given exam question: Algorithms A & B have complexity functions $f(n)=2 log(n^3)+3n$ and $g(n)=1+0.1n^2$ respectively. By classifying each $f$ and $g$ as $\mathcal{O}(F)$ for a suitable ...
1
vote
2answers
331 views

Abuse of big-O notation?

Given exam question: Algorithms A & B have complexity functions $f(n)=10^6n+3n^2$ and $g(n)=1-2^{-20}n^3$ respectively. [edit: It has been pointed out by Andre that the given complexity ...
2
votes
1answer
468 views

Big-O, asymptotical dominance, asymptotical equivalence

Let $f(x)= 5x^3+x.$ A) I'm just learning the Big O notation, and my study materials indicate that since $f(x)$ is $O(x^3),$ $f(x)$ is asymptotically dominated by $x^3.$ B) On the other hand, I know ...
1
vote
3answers
185 views

Maximum order of a sum of functions

I'm being introduced to the Big-O notation via Susanna Epp's Discrete Mathematics with Appplications 3rd edition. The following defintion is stated on page 519: Let f and g be real-valued functions ...
3
votes
0answers
71 views

is there a computationally efficient formula for computing the mutual information between two continuous variables?

I need to compute the mutual information between two continuous variables. Below is an equation shown to compute the mutual information between a variable $X$ and $Y$. $I(X;Y) = \int_Y \int_X ...
0
votes
1answer
93 views

How to compute this set operation?

Suppose there are two sets (spaces) X and Y. Given N subsets of $X \times Y$: $S_1, \dots, S_N \subseteq X \times Y$. I need to compute the following set $S_X \subseteq X$: $$ S_X = \{x \in X : ...
9
votes
2answers
446 views

Computing the “lying over”, “going up”, “going down” ideals.

For any commutative unital ring $R$ and an ideal $\mathfrak{a}$ of $R$, we shall denote $$\begin{align*} \mathrm{Spec}(R)&:=\{\text{prime ideals of }R\},\\ ...
1
vote
3answers
1k views

Modular exponentiation?

I came upon an interesting way to relatively quickly compute modular exponentiation with large numbers. However, I do not fully understand it and was hoping for a better explanation. The method ...
1
vote
1answer
90 views

Regarding the definition of a problem

I recently noted from http://rjlipton.wordpress.com/2010/11/07/what-is-a-complexity-class/ that a problem is defined as a mere set of strings. So, here is the point: If I say the following: "Find ...
20
votes
8answers
4k views

Rapid approximation of $\tanh(x)$

This is kind of a signal processing/programming/mathematics crossover question. At the moment it seems more math-related to me, but if the moderators feel it belongs elsewhere please feel free to ...
5
votes
1answer
155 views

What's the best way to detect an algebraic number?

Suppose you calculate the first few (dozen, hundred) digits of a number which you believe to be a rational number. You can calculate the continued fraction for the number and truncate after a large ...
0
votes
1answer
5k views

Plot Y-Range on Mathematica

I have a plot that I would like to slightly manipulate in Mathematica. Here is the code I am entering: Plot[{x, 2^x, log_2(x)}, {x, -1, 3}] As you can see $x$, $2^x$, and $log_2(x)$ are all ...
17
votes
5answers
923 views

What interesting open mathematical problems could be solved if we could perform a “supertask” and what couldn't?

If we had a computer that could perform a countably infinite number of steps of a Turing machine, what currently open problems could we solve? I guess a lot of number theory problems could be solved ...
0
votes
1answer
677 views

Area of Union of n circles

I am trying to calculate the area of union of n circles in a plane when it is known that all circles are of equal radii and their centers are also known(of all n circles). I was trying to follow the ...
1
vote
1answer
791 views

double exponential point smoothing - what do alpha and gamma do? What is “trend”?

I have some code that does double exponential point smoothing. In addition to the points to be smoothed, it accepts two inputs as "alpha and gamma" values and outputs something called "trend" in ...
2
votes
6answers
995 views

Gödel's Proof as a proof strategy for P = NP or P != NP

I have had this thought for quite a while. Gödel proved the incompleteness of arithmetic by creating a one-to-one correspondence with a number and certain numerical relationships to create a statement ...
3
votes
2answers
418 views

Graphical-entry knot theory program for Mac?

Is there a good program that runs on Mac OSX, which has a graphical interface for inputting knot or link diagrams, and calculates standard invariants like the Conway and Jones polynomials? I have ...
4
votes
1answer
316 views

Computing with ideals: over $K$ or over $\mathbb{Q}\subseteq K$? does it matter?

I'm beginning to learn to use SINGULAR, the computer algebra system (CAS) for commutative algebra. NOTATION: If $K$ is a field of characteristic $0$, then $\mathbb{Q}\subseteq K$; otherwise ...
1
vote
2answers
147 views

Sequences of a computable function

Is there any computable function $f(n)$, which given any integer $n$ has been proven to return either $0$ or $1$ in finite time, and for which the statement "$f(1), f(2), f(3),\ldots$ contains ...
1
vote
0answers
80 views

lower bounds for maximum computing times for integer factorisation

Supposing that n were known to have two prime factors, and that the computer had a database of all the primes $<\sqrt{n}$. Then, unless n is square, one factor would be $<\sqrt{n}$. If an ...
2
votes
0answers
423 views

Clarification on different types of solutions: analytical, closed form, iterative, algorithmic,

When doing computation, there are different types of solutions: analytical, closed form, iterative, algorithmic, exact, approximate, ... (there are probably more than I just listed and please don't ...
1
vote
0answers
99 views

calculating multivariable integrals

I having a look at how to calculate using PC a multivariable integrals. I am reading about the Quasi Montecarlo methods using the following (t, m, s)-Nets and (t, s)-Sequences Faure sequences My ...
5
votes
1answer
2k views

How does Knuth's algorithm for calculating logarithm work?

I had a look at Knuth's The Art of Computer Programming, book 1. In chapter 1, section 1.2.2, exercise 25, he presents the following algorithm for calculating logarithm: given $x\in[1,2)$, do the ...
28
votes
3answers
11k views

What algorithm is used by computers to calculate logarithms?

I would like to know how are logarithms calculated by computers. The GNU C library, for example, uses a call to the fyl2x() assembler instruction, which means that ...
1
vote
1answer
255 views

Structure and Formula encoding for Turing Machine

During my study of Finite Model Theory I found that usually purely relational structure say $\mathcal{M} = \langle A, R_1,\ldots,R_k \rangle$ are encoded as ...
1
vote
2answers
343 views

System of linear equations, resulting from a weighted graph. How to solve this numerically?

We have a problem that leads to a system of linear equations which has to be solved numerically. There are thousands of algorithms to solve linear equations, but I haven't found any that fits our ...
10
votes
1answer
742 views

How else can we be nauty?

The graph canonical labelling package nauty is widely regarded as one of the best (if not the best) around. Unfortunately, it's quite a large package, and making a GPU version seems to be a highly ...