Questions tagged [non-deterministic]

Nondeterminism refers either to a computing system where the result may be one of many specified results or to a theoretical construct in which a computing system is allowed to try many options in parallel to search for a result.

Nondeterminism has several meanings in computing. In theoretical CS, nondeterministic computations are computations that have multiple options specified at various points and allows the computing machine to choose any of them. In programming, a nondeterministic computation is one where the result may vary from run to run due to factors such as thread timing or values from external devices.

238 questions
1
vote
0 answers

Simplest Example of a Non-Deterministic Turing Machine

I am looking for a very simple (potentially the simplest) example of a non-deterministic Turing machine for some "practical" task. To give an example, I would like something similar to the binary counter for a deterministic Turing…
1
vote
1 answer

Is TensorRT "floating-point 16" precision mode non-deterministic on Jetson TX2?

I'm using TensorRT FP16 precision mode to optimize my deep learning model. And I use this optimised model on Jetson TX2. While testing the model, I have observed that TensorRT inference engine is not deterministic. In other words, my optimized model…
1
vote
1 answer

I cannot figure out if this language is regular, Can it be represented by a nfa?

Is this language regular? I cannot find a solution for it and I have mixed feelings about it, by the way I am only doing these the last 2 weeks.
1
vote
2 answers

Is it OK for hashCode to return different values between different runs?

I'm trying to learn the full story behind hashCode. In most implementations hashCode is fully deterministic, like in StringUTF16 class: public static int hashCode(byte[] value) { int h = 0; int length = value.length >> 1; for (int i = 0;…
user2956272
1
vote
0 answers

Why is the output to my CPU pytorch model not repeatable?

I have recently started working with pytorch and I noticed that I was not getting repeatable/deterministic results when evaluating a pre-trained model on new inputs. I have boiled the problem down to this minimum example which shows that repeatedly…
1
vote
1 answer

Non deterministic fields getting recalculated between showing, counting, and saving a dataframe

We have a uuid udf : import java.util.UUID val idUdf = udf(() => idgen.incrementAndGet.toString + "_" + UUID.randomUUID) spark.udf.register("idgen", idUdf) An issue being faced is that when running count, or show or write each of those end up with…
WestCoastProjects
  • 58,982
  • 91
  • 316
  • 560
1
vote
1 answer

Getting different results each time I run RandomForestRegressor

I use this code hoping to achieve determinism: from sklearn.ensemble import RandomForestRegressor np.random.seed(0) import random random.seed(0) rf = RandomForestRegressor(n_estimators=1000, criterion='mse', min_samples_leaf=4) But my results are…
Baron Yugovich
  • 3,843
  • 12
  • 48
  • 76
1
vote
1 answer

What problems does curry's choice solve?

I am familiar with what choice operator ((?)) does, it takes two arguments and matches to both of them. We could define it as follows: a?_=a _?b=b This can be used to introduce non-determinism between two values. However what I don't understand…
Wheat Wizard
  • 3,982
  • 14
  • 34
1
vote
1 answer

Amb using continuations

I have just started studying Racket/Scheme continuations and found a helpful resource - Matt Mights page. I understood everything till the nondeterministic Amb example. Can anyone explain me how continuations work in this example? Currently looks…
1
vote
2 answers

Why does SQL Server say this function is nondeterministic?

Execute this function in T-SQL: CREATE FUNCTION [dbo].[Parse_URI_For_Scheme]( @URI nvarchar(4000)) RETURNS nvarchar(250) WITH SCHEMABINDING AS BEGIN DECLARE @temp_string varchar(4000) DECLARE @return_string nvarchar(250) DECLARE…
Mark Nugent
  • 599
  • 2
  • 5
  • 20
1
vote
1 answer

Construct nfa occuring strings over {0,1} such that some two 0's are seperated by a string of length 4i, i>=0

I am trying to solve this problem by first designing an NFA for a string of length 4i, as this is in the form of 0(mod 4). Number of states = 4 and I just added 2 other states, one on each end of this design, and made a transition on 0, now number…
1
vote
1 answer

Understanding the string pushed onto a stack in a NPDA

I'm learning about NPDA, and to be frank, I'm trying to understand what I'm looking at in this problem: What exactly determined "aaz" or "aaa" being pushed onto the stack? Does it matter, as long as these are getting popped when a b is read?
user7939273
1
vote
1 answer

Is CONVERT non-deterministic?

I have the following table: CREATE TABLE Portfolio.DailyStats ( Date date NOT NULL PRIMARY KEY, NAV int NOT NULL, SP500 decimal(8,4) NULL, R2K decimal(8,4) NULL, NetExp decimal(8,4) NULL, GrossExp decimal(8,4) NULL, [YrMn] AS…
1
vote
4 answers

Non-Linux Implementations of boost::random_device

Currently, Boost only implements the random_device class for Linux (maybe *nix) systems. Does anyone know of existing implementations for other OS-es? Ideally, these implementations would be open-source. If none exist, how should I go about…
Brian
  • 3,457
  • 4
  • 31
  • 41
1
vote
0 answers

Pintool: Detect and Bypass Non Deterministic system calls

I am trying to write a Pintool that can perform record and replay functionality. So the problem statement is to detect all non-deterministic system calls and record all its arguments and then perform replay with the original arguments while…